From a certain angle Bob is blue but he is young so maybe that will go away. Charlie is interestingly colored red and blue, and is also very kind. Fred wears all blue. Gary is a very kind, green but sometimes cold person. A big young person that is green will be cold to others. Despite being kind cold people with red ears will still be big. When someone is young they can be nice and kind, but green in society. Someone who is colored both in red and green, while being kind to others, is a round person. A green person that is cold is often considered to be red. Anyone will tell you the kind and the big are also rough. Young people who are nice and cold, are rather green.
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is green and young and big then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Fred is blue.
True
1
proof
[(triple6)]
("Fred" "is" "blue" "+")
triple6
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
Gary is red.
True
3
proof
[(((triple8 triple9) -> rule5))]
("Gary" "is" "red" "+")
((triple8 triple9) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is not red.
False
3
inv-proof
[(((triple8 triple9) -> rule5))]
("Gary" "is" "red" "-")
((triple8 triple9) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
True
6
proof
[(((triple9 ((triple8 triple9) -> rule5) triple7) -> rule2))]
("Gary" "is" "big" "+")
((triple9 ((triple8 triple9) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not round.
False
6
inv-proof
[(((((triple8 triple9) -> rule5) triple8 triple7) -> rule4))]
("Gary" "is" "round" "-")
((((triple8 triple9) -> (rule5 % int2)) triple8 triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
True
8
proof
[(((((triple9 ((triple8 triple9) -> rule5) triple7) -> rule2) triple7) -> rule6))]
("Gary" "is" "rough" "+")
((((triple9 ((triple8 triple9) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is not rough.
False
8
inv-proof
[(((((triple9 ((triple8 triple9) -> rule5) triple7) -> rule2) triple7) -> rule6))]
("Gary" "is" "rough" "-")
((((triple9 ((triple8 triple9) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Fred is cold.
Unknown
rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "+")
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Fred is blue.[(triple6)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is kind.[(triple7)] @1: Gary is red.[(((triple8 triple9) -> rule5))] @2: Gary is big.[(((triple9 ((triple8 triple9) -> rule5) triple7) -> rule2))] Gary is round.[(((((triple8 triple9) -> rule5) triple8 triple7) -> rule4))] @3: Gary is rough.[(((((triple9 ((triple8 triple9) -> rule5) triple7) -> rule2) triple7) -> rule6))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
((triple8 triple9) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple9 ((triple8 triple9) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((((triple8 triple9) -> (rule5 % int2)) triple8 triple7) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple9 ((triple8 triple9) -> (rule5 % int3)) triple7) -> (rule2 % int2)) triple7) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
From a certain angle Bob is blue but he is young so maybe that will go away.
Charlie is interestingly colored red and blue, and is also very kind.
Fred wears all blue.
Gary is a very kind, green but sometimes cold person.
A big young person that is green will be cold to others.
Despite being kind cold people with red ears will still be big.
When someone is young they can be nice and kind, but green in society.
Someone who is colored both in red and green, while being kind to others, is a round person.
A green person that is cold is often considered to be red.
Anyone will tell you the kind and the big are also rough.
Young people who are nice and cold, are rather green.