Dave is nice, even when he is rough and red with anger. 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. Gary is a nice person, but he is both blue and red. Harry is known to be rough and green. A person who's big and kind will also be cold. Nice and blue people have to be big as well. Nice, green people that are somewhat round are big through the shoulders. Someone big and rough in shape is always kind. Nice people who are big in stature often look rough.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and blue then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is green and nice and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Dave is nice.
True
1
proof
[(triple3)]
("Dave" "is" "nice" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple10)]
("Harry" "is" "green" "-")
triple10
Gary is big.
True
3
proof
[(((triple7 triple8) -> rule2))]
("Gary" "is" "big" "+")
((triple7 triple8) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple7 triple8) -> rule2))]
("Gary" "is" "big" "-")
((triple7 triple8) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
True
5
proof
[(((triple7 ((triple7 triple8) -> rule2)) -> rule5))]
("Gary" "is" "rough" "+")
((triple7 ((triple7 triple8) -> (rule2 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not rough.
False
5
inv-proof
[(((triple7 ((triple7 triple8) -> rule2)) -> rule5))]
("Gary" "is" "rough" "-")
((triple7 ((triple7 triple8) -> (rule2 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
True
9
proof
[(((((triple7 triple8) -> rule2) ((triple7 ((triple7 triple8) -> rule2)) -> rule5)) -> rule4))]
("Gary" "is" "kind" "+")
((((triple7 triple8) -> (rule2 % int3)) ((triple7 ((triple7 triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not kind.
False
9
inv-proof
[(((((triple7 triple8) -> rule2) ((triple7 ((triple7 triple8) -> rule2)) -> rule5)) -> rule4))]
("Gary" "is" "kind" "-")
((((triple7 triple8) -> (rule2 % int3)) ((triple7 ((triple7 triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is cold.
True
13
proof
[(((((triple7 triple8) -> rule2) ((((triple7 triple8) -> rule2) ((triple7 ((triple7 triple8) -> rule2)) -> rule5)) -> rule4)) -> rule1))]
("Gary" "is" "cold" "+")
((((triple7 triple8) -> (rule2 % int4)) ((((triple7 triple8) -> (rule2 % int4)) ((triple7 ((triple7 triple8) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is not cold.
False
13
inv-proof
[(((((triple7 triple8) -> rule2) ((((triple7 triple8) -> rule2) ((triple7 ((triple7 triple8) -> rule2)) -> rule5)) -> rule4)) -> rule1))]
("Gary" "is" "cold" "-")
((((triple7 triple8) -> (rule2 % int4)) ((((triple7 triple8) -> (rule2 % int4)) ((triple7 ((triple7 triple8) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Harry is not kind.
Unknown
inv-rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Harry" "is" "kind" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not cold.
Unknown
inv-rconc
[@2: Fred is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fred" "is" "cold" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Dave is not kind.
Unknown
inv-rconc
[@2: Dave is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Dave is nice.[(triple3)] Dave is red.[(triple2)] Dave is rough.[(triple1)] Fred is blue.[(triple5)] Fred is rough.[(triple4)] Gary is blue.[(triple8)] Gary is nice.[(triple7)] Gary is red.[(triple6)] Harry is green.[(triple10)] Harry is rough.[(triple9)] @1: Gary is big.[(((triple7 triple8) -> rule2))] @2: Gary is rough.[(((triple7 ((triple7 triple8) -> rule2)) -> rule5))] @3: Gary is kind.[(((((triple7 triple8) -> rule2) ((triple7 ((triple7 triple8) -> rule2)) -> rule5)) -> rule4))] @4: Gary is cold.[(((((triple7 triple8) -> rule2) ((((triple7 triple8) -> rule2) ((triple7 ((triple7 triple8) -> rule2)) -> rule5)) -> rule4)) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
((triple7 triple8) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 ((triple7 triple8) -> (rule2 % int2))) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple7 triple8) -> (rule2 % int3)) ((triple7 ((triple7 triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((((triple7 triple8) -> (rule2 % int4)) ((((triple7 triple8) -> (rule2 % int4)) ((triple7 ((triple7 triple8) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Dave is nice, even when he is rough and red with anger.
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.
Gary is a nice person, but he is both blue and red.
Harry is known to be rough and green.
A person who's big and kind will also be cold.
Nice and blue people have to be big as well.
Nice, green people that are somewhat round are big through the shoulders.
Someone big and rough in shape is always kind.
Nice people who are big in stature often look rough.