Alan is round shaped and green colored. They always call him rough Bob. Fred wears all blue. That big rough Gary guy is both red and blue at the same time. Green, nice people who have round shapes are going to be kind to you. Find a big human that is colored red and green and he will be amazingly kind. You make someone round and green, and they'll turn out nice. A person who is cold with a red nose will be feeling blue. Someone being both nice and kind means that they are a big person. Blue people who are big tend to be rough. Someone who is round like a dumpling and cold like an icicle are very young in age.
Alan is round.
("Alan" "is" "round" "+")
Alan is green.
("Alan" "is" "green" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is green and round and nice then they are kind.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and green then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fred is blue.
True
1
proof
[(triple4)]
("Fred" "is" "blue" "+")
triple4
Gary is not red.
False
1
inv-proof
[(triple6)]
("Gary" "is" "red" "-")
triple6
Alan is nice.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "nice" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is not nice.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Alan" "is" "nice" "-")
((triple1 triple2) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
True
6
proof
[(((triple2 triple1 ((triple1 triple2) -> rule3)) -> rule1))]
("Alan" "is" "kind" "+")
((triple2 triple1 ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is not kind.
False
6
inv-proof
[(((triple2 triple1 ((triple1 triple2) -> rule3)) -> rule1))]
("Alan" "is" "kind" "-")
((triple2 triple1 ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
True
10
proof
[(((((triple1 triple2) -> rule3) ((triple2 triple1 ((triple1 triple2) -> rule3)) -> rule1)) -> rule5))]
("Alan" "is" "big" "+")
((((triple1 triple2) -> (rule3 % int3)) ((triple2 triple1 ((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is not big.
False
10
inv-proof
[(((((triple1 triple2) -> rule3) ((triple2 triple1 ((triple1 triple2) -> rule3)) -> rule1)) -> rule5))]
("Alan" "is" "big" "-")
((((triple1 triple2) -> (rule3 % int3)) ((triple2 triple1 ((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "blue" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is green.[(triple2)] Alan is round.[(triple1)] Bob is rough.[(triple3)] Fred is blue.[(triple4)] Gary is big.[(triple8)] Gary is blue.[(triple7)] Gary is red.[(triple6)] Gary is rough.[(triple5 OR ((triple7 triple8) -> rule6))] @1: Alan is nice.[(((triple1 triple2) -> rule3))] @2: Alan is kind.[(((triple2 triple1 ((triple1 triple2) -> rule3)) -> rule1))] @3: Alan is big.[(((((triple1 triple2) -> rule3) ((triple2 triple1 ((triple1 triple2) -> rule3)) -> rule1)) -> rule5))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple5
((triple7 triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
((triple1 triple2) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 triple1 ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is nice.
("Alan" "is" "nice" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((triple1 triple2) -> (rule3 % int3)) ((triple2 triple1 ((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is kind.
("Alan" "is" "kind" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
int3
Alan is round shaped and green colored.
They always call him rough Bob.
Fred wears all blue.
That big rough Gary guy is both red and blue at the same time.
Green, nice people who have round shapes are going to be kind to you.
Find a big human that is colored red and green and he will be amazingly kind.
You make someone round and green, and they'll turn out nice.
A person who is cold with a red nose will be feeling blue.
Someone being both nice and kind means that they are a big person.
Blue people who are big tend to be rough.
Someone who is round like a dumpling and cold like an icicle are very young in age.