Charlie is nice, even when he is rough and red with anger. Dave, who is a young, rough person, is also a kind and cold guy. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Young Gary is wearing green pants. A cold temperatured and green colored person who is also big will be young. If a kind person is also young and round shaped, they will be colored blue. A rough person that is cold towards others is green. Blue people who are kind and nice are actually quite rough. A young person who is red and green is also going to look round. If a person is young and very kind then they will be rather big. Someone who is cold and big is also a red person.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is big and green and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green and red then they are round.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Fred is blue.
True
1
proof
[(triple9)]
("Fred" "is" "blue" "+")
triple9
Dave is not young.
False
1
inv-proof
[(triple4)]
("Dave" "is" "young" "-")
triple4
Dave is green.
True
3
proof
[(((triple5 triple7) -> rule3))]
("Dave" "is" "green" "+")
((triple5 triple7) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not big.
False
3
inv-proof
[(((triple4 triple6) -> rule6))]
("Dave" "is" "big" "-")
((triple4 triple6) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
True
5
proof
[(((((triple4 triple6) -> rule6) triple7) -> rule7))]
("Dave" "is" "red" "+")
((((triple4 triple6) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is not red.
False
5
inv-proof
[(((((triple4 triple6) -> rule6) triple7) -> rule7))]
("Dave" "is" "red" "-")
((((triple4 triple6) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
True
10
proof
[(((triple4 ((triple5 triple7) -> rule3) ((((triple4 triple6) -> rule6) triple7) -> rule7)) -> rule5))]
("Dave" "is" "round" "+")
((triple4 ((triple5 triple7) -> (rule3 % int4)) ((((triple4 triple6) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is not round.
False
10
inv-proof
[(((triple4 ((triple5 triple7) -> rule3) ((((triple4 triple6) -> rule6) triple7) -> rule7)) -> rule5))]
("Dave" "is" "round" "-")
((triple4 ((triple5 triple7) -> (rule3 % int4)) ((((triple4 triple6) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is blue.
True
13
proof
[(((triple6 triple4 ((triple4 ((triple5 triple7) -> rule3) ((((triple4 triple6) -> rule6) triple7) -> rule7)) -> rule5)) -> rule2))]
("Dave" "is" "blue" "+")
((triple6 triple4 ((triple4 ((triple5 triple7) -> (rule3 % int5)) ((((triple4 triple6) -> (rule6 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Dave is not blue.
False
13
inv-proof
[(((triple6 triple4 ((triple4 ((triple5 triple7) -> rule3) ((((triple4 triple6) -> rule6) triple7) -> rule7)) -> rule5)) -> rule2))]
("Dave" "is" "blue" "-")
((triple6 triple4 ((triple4 ((triple5 triple7) -> (rule3 % int5)) ((((triple4 triple6) -> (rule6 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Fred is red.
Unknown
rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "red" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "big" "-")
Fred is green.
Unknown
rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "green" "+")
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "young" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Charlie is nice.[(triple3)] Charlie is red.[(triple2)] Charlie is rough.[(triple1)] Dave is cold.[(triple7)] Dave is kind.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple4)] Fred is blue.[(triple9)] Fred is rough.[(triple8)] Gary is green.[(triple11)] Gary is young.[(triple10)] @1: Dave is big.[(((triple4 triple6) -> rule6))] Dave is green.[(((triple5 triple7) -> rule3))] @2: Dave is red.[(((((triple4 triple6) -> rule6) triple7) -> rule7))] @3: Dave is round.[(((triple4 ((triple5 triple7) -> rule3) ((((triple4 triple6) -> rule6) triple7) -> rule7)) -> rule5))] @4: Dave is blue.[(((triple6 triple4 ((triple4 ((triple5 triple7) -> rule3) ((((triple4 triple6) -> rule6) triple7) -> rule7)) -> rule5)) -> rule2))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple5
Dave is young.
("Dave" "is" "young" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple10
Dave is big.
("Dave" "is" "big" "+")
((triple4 triple6) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple7) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
((((triple4 triple6) -> (rule6 % int2)) triple7) -> (rule7 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple4 ((triple5 triple7) -> (rule3 % int4)) ((((triple4 triple6) -> (rule6 % int3)) triple7) -> (rule7 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
((triple6 triple4 ((triple4 ((triple5 triple7) -> (rule3 % int5)) ((((triple4 triple6) -> (rule6 % int4)) triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is big.
("Dave" "is" "big" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
int5
Charlie is nice, even when he is rough and red with anger.
Dave, who is a young, rough person, is also a kind and cold guy.
Fred grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Young Gary is wearing green pants.
A cold temperatured and green colored person who is also big will be young.
If a kind person is also young and round shaped, they will be colored blue.
A rough person that is cold towards others is green.
Blue people who are kind and nice are actually quite rough.
A young person who is red and green is also going to look round.
If a person is young and very kind then they will be rather big.
Someone who is cold and big is also a red person.