Young Dave is already big and has rough, red skin from working outdoors.  Dave is kind but is feeling blue because of family troubles. Fred is big and green, which is good, because he is also cold and blue. Harry was born only a few years ago so he is young. A round person who is nice is young. People who are green and blue tend to be round in shape. You can find someone that is young and rough but kind and nice. Someone can be young, big, and cold but green. People who are kind and green are very often rough. Anyone that's described as young, kind and blue can be said to be cold, too.
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is young and kind and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold and big then they are green.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Harry is young.
True
1
proof
[(triple11)]
("Harry" "is" "young" "+")
triple11
Fred is not green.
False
1
inv-proof
[(triple7)]
("Fred" "is" "green" "-")
triple7
Dave is nice.
True
4
proof
[(((triple1 triple4 triple2) -> rule3) OR ((triple1 triple4 ((triple4 ((triple1 ((triple1 triple5 triple4) -> rule6) triple6) -> rule4)) -> rule5)) -> rule3))]
("Dave" "is" "nice" "+")
((triple1 triple4 triple2) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple1 triple4 ((triple4 ((triple1 ((triple1 triple5 triple4) -> (rule6 % int4)) triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Fred is not round.
False
3
inv-proof
[(((triple7 triple9) -> rule2))]
("Fred" "is" "round" "-")
((triple7 triple9) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Dave is green.
True
7
proof
[(((triple1 ((triple1 triple5 triple4) -> rule6) triple6) -> rule4))]
("Dave" "is" "green" "+")
((triple1 ((triple1 triple5 triple4) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not green.
False
7
inv-proof
[(((triple1 ((triple1 triple5 triple4) -> rule6) triple6) -> rule4))]
("Dave" "is" "green" "-")
((triple1 ((triple1 triple5 triple4) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
True
9
proof
[(((((triple1 ((triple1 triple5 triple4) -> rule6) triple6) -> rule4) triple5) -> rule2))]
("Dave" "is" "round" "+")
((((triple1 ((triple1 triple5 triple4) -> (rule6 % int3)) triple6) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not round.
False
9
inv-proof
[(((((triple1 ((triple1 triple5 triple4) -> rule6) triple6) -> rule4) triple5) -> rule2))]
("Dave" "is" "round" "-")
((((triple1 ((triple1 triple5 triple4) -> (rule6 % int3)) triple6) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "cold" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Dave is big.[(triple6)] Dave is blue.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2 OR ((triple4 ((triple1 ((triple1 triple5 triple4) -> rule6) triple6) -> rule4)) -> rule5))] Dave is young.[(triple1)] Fred is big.[(triple10)] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Harry is young.[(triple11)] @1: Dave is cold.[(((triple1 triple5 triple4) -> rule6))] Dave is nice.[(((triple1 triple4 triple2) -> rule3) OR ((triple1 triple4 ((triple4 ((triple1 ((triple1 triple5 triple4) -> rule6) triple6) -> rule4)) -> rule5)) -> rule3))] Fred is round.[(((triple7 triple9) -> rule2))] @2: Dave is green.[(((triple1 ((triple1 triple5 triple4) -> rule6) triple6) -> rule4))] @3: Dave is round.[(((((triple1 ((triple1 triple5 triple4) -> rule6) triple6) -> rule4) triple5) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
((triple4 ((triple1 ((triple1 triple5 triple4) -> (rule6 % int3)) triple6) -> (rule4 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple11
Dave is cold.
("Dave" "is" "cold" "+")
((triple1 triple5 triple4) -> (rule6 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple1 triple4 triple2) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((triple1 triple4 ((triple4 ((triple1 ((triple1 triple5 triple4) -> (rule6 % int4)) triple6) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Fred is round.
("Fred" "is" "round" "+")
((triple7 triple9) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple1 ((triple1 triple5 triple4) -> (rule6 % int2)) triple6) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple1 ((triple1 triple5 triple4) -> (rule6 % int3)) triple6) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Young Dave is already big and has rough, red skin from working outdoors; Dave is kind but is feeling blue because of family troubles.
Fred is big and green, which is good, because he is also cold and blue.
Harry was born only a few years ago so he is young.
A round person who is nice is young.
People who are green and blue tend to be round in shape.
You can find someone that is young and rough but kind and nice.
Someone can be young, big, and cold but green.
People who are kind and green are very often rough.
Anyone that's described as young, kind and blue can be said to be cold, too.