Dave is a nice and kind young man who is quite big in size. Fred is known to be rough and green. Gary was born only a few years ago so he is young. Harry 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. A round shaped and young aged person will be very cold. A young person with a kind heart and big sized body will be rough around the edges. Kind, rough people who are nice are also cold. If someone is kind, green, and round sized, then they are typically nice people. Anybody that is rough, cold and nice will be round at the same time.
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough and nice then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and cold and nice then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Dave is young.
True
1
proof
[(triple1)]
("Dave" "is" "young" "+")
triple1
Fred is not green.
False
1
inv-proof
[(triple6)]
("Fred" "is" "green" "-")
triple6
Dave is rough.
True
4
proof
[(((triple1 triple3 triple4) -> rule2))]
("Dave" "is" "rough" "+")
((triple1 triple3 triple4) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is not rough.
False
4
inv-proof
[(((triple1 triple3 triple4) -> rule2))]
("Dave" "is" "rough" "-")
((triple1 triple3 triple4) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
True
7
proof
[(((triple3 ((triple1 triple3 triple4) -> rule2) triple2) -> rule3))]
("Dave" "is" "cold" "+")
((triple3 ((triple1 triple3 triple4) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is not cold.
False
7
inv-proof
[(((triple3 ((triple1 triple3 triple4) -> rule2) triple2) -> rule3))]
("Dave" "is" "cold" "-")
((triple3 ((triple1 triple3 triple4) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
True
13
proof
[(((((triple1 triple3 triple4) -> rule2) ((triple3 ((triple1 triple3 triple4) -> rule2) triple2) -> rule3) triple2) -> rule5))]
("Dave" "is" "round" "+")
((((triple1 triple3 triple4) -> (rule2 % int3)) ((triple3 ((triple1 triple3 triple4) -> (rule2 % int3)) triple2) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is not round.
False
13
inv-proof
[(((((triple1 triple3 triple4) -> rule2) ((triple3 ((triple1 triple3 triple4) -> rule2) triple2) -> rule3) triple2) -> rule5))]
("Dave" "is" "round" "-")
((((triple1 triple3 triple4) -> (rule2 % int3)) ((triple3 ((triple1 triple3 triple4) -> (rule2 % int3)) triple2) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "rough" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not round.
Unknown
inv-rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Dave is big.[(triple4)] Dave is kind.[(triple3)] Dave is nice.[(triple2)] Dave is young.[(triple1)] Fred is green.[(triple6)] Fred is rough.[(triple5)] Gary is young.[(triple7)] Harry is blue.[(triple9)] Harry is rough.[(triple8)] @1: Dave is rough.[(((triple1 triple3 triple4) -> rule2))] @2: Dave is cold.[(((triple3 ((triple1 triple3 triple4) -> rule2) triple2) -> rule3))] @3: Dave is round.[(((((triple1 triple3 triple4) -> rule2) ((triple3 ((triple1 triple3 triple4) -> rule2) triple2) -> rule3) triple2) -> rule5))]
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
((triple1 triple3 triple4) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple3 ((triple1 triple3 triple4) -> (rule2 % int2)) triple2) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple1 triple3 triple4) -> (rule2 % int3)) ((triple3 ((triple1 triple3 triple4) -> (rule2 % int3)) triple2) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is a nice and kind young man who is quite big in size.
Fred is known to be rough and green.
Gary was born only a few years ago so he is young.
Harry 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.
A round shaped and young aged person will be very cold.
A young person with a kind heart and big sized body will be rough around the edges.
Kind, rough people who are nice are also cold.
If someone is kind, green, and round sized, then they are typically nice people.
Anybody that is rough, cold and nice will be round at the same time.