Young Alan is wearing green pants. Bob is young and kind.  But he plays really rough with his friends. Dave appears green and blue, he is also rather round and kind. Because Gary gets cold easily he tends to appear round from bundling up. A big, blue person who is kind is also round. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. A round shaped and red person is definitely nice. Some kind person that is round a blue will get embarrassed and turn red. A blue individual that is kind and nice to others also has a rough appearance. Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.
Alan is young.
("Alan" "is" "young" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is blue and kind and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and blue and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Alan is green.
True
1
proof
[(triple2)]
("Alan" "is" "green" "+")
triple2
Dave is not blue.
False
1
inv-proof
[(triple9)]
("Dave" "is" "blue" "-")
triple9
Dave is red.
True
4
proof
[(((triple6 triple9 triple7) -> rule4))]
("Dave" "is" "red" "+")
((triple6 triple9 triple7) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
4
inv-proof
[(((triple6 triple9 triple7) -> rule4))]
("Dave" "is" "red" "-")
((triple6 triple9 triple7) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is nice.
True
6
proof
[(((triple6 ((triple6 triple9 triple7) -> rule4)) -> rule3))]
("Dave" "is" "nice" "+")
((triple6 ((triple6 triple9 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not nice.
False
6
inv-proof
[(((triple6 ((triple6 triple9 triple7) -> rule4)) -> rule3))]
("Dave" "is" "nice" "-")
((triple6 ((triple6 triple9 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
True
9
proof
[(((triple7 triple9 ((triple6 ((triple6 triple9 triple7) -> rule4)) -> rule3)) -> rule5))]
("Dave" "is" "rough" "+")
((triple7 triple9 ((triple6 ((triple6 triple9 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not rough.
False
9
inv-proof
[(((triple7 triple9 ((triple6 ((triple6 triple9 triple7) -> rule4)) -> rule3)) -> rule5))]
("Dave" "is" "rough" "-")
((triple7 triple9 ((triple6 ((triple6 triple9 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "round" "-")
Gary is nice.
Unknown
rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "rough" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Alan is green.[(triple2)] Alan is young.[(triple1)] Bob is kind.[(triple5)] Bob is rough.[(triple4)] Bob is young.[(triple3)] Dave is blue.[(triple9)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is round.[(triple6)] Gary is cold.[(triple11)] Gary is round.[(triple10)] @1: Dave is red.[(((triple6 triple9 triple7) -> rule4))] @2: Dave is big.[(((((triple6 triple9 triple7) -> rule4) triple9 triple6) -> rule2))] Dave is nice.[(((triple6 ((triple6 triple9 triple7) -> rule4)) -> rule3))] @3: Dave is rough.[(((triple7 triple9 ((triple6 ((triple6 triple9 triple7) -> rule4)) -> rule3)) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple5
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is round.
("Dave" "is" "round" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
((triple6 triple9 triple7) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
((((triple6 triple9 triple7) -> (rule4 % int2)) triple9 triple6) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 ((triple6 triple9 triple7) -> (rule4 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
((triple7 triple9 ((triple6 ((triple6 triple9 triple7) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Young Alan is wearing green pants.
Bob is young and kind; But he plays really rough with his friends.
Dave appears green and blue, he is also rather round and kind.
Because Gary gets cold easily he tends to appear round from bundling up.
A big, blue person who is kind is also round.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
A round shaped and red person is definitely nice.
Some kind person that is round a blue will get embarrassed and turn red.
A blue individual that is kind and nice to others also has a rough appearance.
Find someone who is blue and rough, and big as an elephant, and you'll have found a nice person.