Alan was known for being kind, a bit big and round and for playing rough when he was young. Bob has become rough with permanent red skin from working outdoors for so many years.  He always feels cold.  He is kind to both people and animals. They always call him rough Dave. A male or female with rough, kind and round traits will surely have a nice quality, as well. A kind person with green and red skin must be big too. Big, rough people sometimes are also green and when they are they must be cold. People who are red, young, and round are also blue. An individual who is big and nice is also green.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and kind and red then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Alan is round.
True
1
proof
[(triple2)]
("Alan" "is" "round" "+")
triple2
Bob is not cold.
False
1
inv-proof
[(triple9)]
("Bob" "is" "cold" "-")
triple9
Alan is nice.
True
4
proof
[(((triple3 triple4 triple2) -> rule1))]
("Alan" "is" "nice" "+")
((triple3 triple4 triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
4
inv-proof
[(((triple3 triple4 triple2) -> rule1))]
("Alan" "is" "nice" "-")
((triple3 triple4 triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
True
6
proof
[(((triple5 ((triple3 triple4 triple2) -> rule1)) -> rule5))]
("Alan" "is" "green" "+")
((triple5 ((triple3 triple4 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not green.
False
6
inv-proof
[(((triple5 ((triple3 triple4 triple2) -> rule1)) -> rule5))]
("Alan" "is" "green" "-")
((triple5 ((triple3 triple4 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
True
9
proof
[(((triple3 triple5 ((triple5 ((triple3 triple4 triple2) -> rule1)) -> rule5)) -> rule3))]
("Alan" "is" "cold" "+")
((triple3 triple5 ((triple5 ((triple3 triple4 triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not cold.
False
9
inv-proof
[(((triple3 triple5 ((triple5 ((triple3 triple4 triple2) -> rule1)) -> rule5)) -> rule3))]
("Alan" "is" "cold" "-")
((triple3 triple5 ((triple5 ((triple3 triple4 triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "blue" "-")
Dave is big.
Unknown
rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "big" "+")
Bob is not green.
Unknown
inv-rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Bob" "is" "green" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Alan is big.[(triple5)] Alan is kind.[(triple4)] Alan is rough.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is cold.[(triple9)] Bob is kind.[(triple8)] Bob is red.[(triple7)] Bob is rough.[(triple6)] Dave is rough.[(triple10)] @1: Alan is nice.[(((triple3 triple4 triple2) -> rule1))] @2: Alan is green.[(((triple5 ((triple3 triple4 triple2) -> rule1)) -> rule5))] @3: Alan is cold.[(((triple3 triple5 ((triple5 ((triple3 triple4 triple2) -> rule1)) -> rule5)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is rough.
("Alan" "is" "rough" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 triple4 triple2) -> (rule1 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple5 ((triple3 triple4 triple2) -> (rule1 % int2))) -> (rule5 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple5 ((triple5 ((triple3 triple4 triple2) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan was known for being kind, a bit big and round and for playing rough when he was young.
Bob has become rough with permanent red skin from working outdoors for so many years; He always feels cold; He is kind to both people and animals.
They always call him rough Dave.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
A kind person with green and red skin must be big too.
Big, rough people sometimes are also green and when they are they must be cold.
People who are red, young, and round are also blue.
An individual who is big and nice is also green.