They always call him rough Alan. Bob has rough, green skin and that makes him cold. He also feels blue for his big size. Young Dave is red from staying in the sun too long.  Even though he is uncomfortable from feeling cold, he is still kind to others. Gary, like all young people, is nice. A nice person with rough skin is red. A very kind and green colored person, who is also cold, will be nice. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. Interestingly, cold and rough people are kind. Find someone big, blue, and kind, and you'll see they are also quite young. Young and nice people are ultimately cold.
Alan is rough.
("Alan" "is" "rough" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
If someone is rough and nice then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
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 cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and blue and kind then they are young.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Dave is kind.
True
1
proof
[(triple9)]
("Dave" "is" "kind" "+")
triple9
Dave is not red.
False
1
inv-proof
[(triple8)]
("Dave" "is" "red" "-")
triple8
Gary is cold.
True
3
proof
[(((triple11 triple12) -> rule6))]
("Gary" "is" "cold" "+")
((triple11 triple12) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is not kind.
False
3
inv-proof
[(((triple4 triple2) -> rule4))]
("Bob" "is" "kind" "-")
((triple4 triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
True
6
proof
[(((((triple4 triple2) -> rule4) triple3 triple4) -> rule2))]
("Bob" "is" "nice" "+")
((((triple4 triple2) -> (rule4 % int2)) triple3 triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not young.
False
6
inv-proof
[(((triple6 triple5 ((triple4 triple2) -> rule4)) -> rule5))]
("Bob" "is" "young" "-")
((triple6 triple5 ((triple4 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
True
8
proof
[(((triple2 ((((triple4 triple2) -> rule4) triple3 triple4) -> rule2)) -> rule1))]
("Bob" "is" "red" "+")
((triple2 ((((triple4 triple2) -> (rule4 % int3)) triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not red.
False
8
inv-proof
[(((triple2 ((((triple4 triple2) -> rule4) triple3 triple4) -> rule2)) -> rule1))]
("Bob" "is" "red" "-")
((triple2 ((((triple4 triple2) -> (rule4 % int3)) triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "nice" "+")
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "big" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is rough.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5)] Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is rough.[(triple2)] Dave is cold.[(triple10)] Dave is kind.[(triple9)] Dave is red.[(triple8)] Dave is young.[(triple7)] Gary is nice.[(triple12)] Gary is young.[(triple11)] @1: Bob is kind.[(((triple4 triple2) -> rule4))] Gary is cold.[(((triple11 triple12) -> rule6))] @2: Bob is nice.[(((((triple4 triple2) -> rule4) triple3 triple4) -> rule2))] Bob is young.[(((triple6 triple5 ((triple4 triple2) -> rule4)) -> rule5))] @3: Bob is red.[(((triple2 ((((triple4 triple2) -> rule4) triple3 triple4) -> rule2)) -> rule1))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Dave is cold.
("Dave" "is" "cold" "+")
triple10
Dave is kind.
("Dave" "is" "kind" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is young.
("Gary" "is" "young" "+")
triple11
Bob is kind.
("Bob" "is" "kind" "+")
((triple4 triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple11 triple12) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4 triple2) -> (rule4 % int2)) triple3 triple4) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple6 triple5 ((triple4 triple2) -> (rule4 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
((triple2 ((((triple4 triple2) -> (rule4 % int3)) triple3 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
They always call him rough Alan.
Bob has rough, green skin and that makes him cold; He also feels blue for his big size.
Young Dave is red from staying in the sun too long; Even though he is uncomfortable from feeling cold, he is still kind to others.
Gary, like all young people, is nice.
A nice person with rough skin is red.
A very kind and green colored person, who is also cold, will be nice.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
Interestingly, cold and rough people are kind.
Find someone big, blue, and kind, and you'll see they are also quite young.
Young and nice people are ultimately cold.