When you see Alan, you will notice he is cold, big and kind. Bob was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Nice, but round, Eric has been said to be cold. Fred always goes out of his way to show that he is kind to people. Find someone cold and green. If they are also round, then they are sure to be nice. A kind and cold person who is green is, surprisingly, also blue. Show me someone who is cold and kind, and I'll show you how green they are. People who have a big shape while they are young are found to be nice. Big, blue people are red. Anyone who's blue is also green.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is cold and green and round then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young and big then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Bob is green.
True
1
proof
[(triple5 OR ((triple6) -> rule6))]
("Bob" "is" "green" "+")
triple5
((triple6) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Eric is not round.
False
1
inv-proof
[(triple7)]
("Eric" "is" "round" "-")
triple7
Alan is green.
True
3
proof
[(((triple2 triple1) -> rule3))]
("Alan" "is" "green" "+")
((triple2 triple1) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("Alan" "is" "green" "-")
((triple2 triple1) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
True
6
proof
[(((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule2))]
("Alan" "is" "blue" "+")
((triple1 triple2 ((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not blue.
False
6
inv-proof
[(((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule2))]
("Alan" "is" "blue" "-")
((triple1 triple2 ((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
True
8
proof
[(((((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule2) triple3) -> rule5))]
("Alan" "is" "red" "+")
((((triple1 triple2 ((triple2 triple1) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is not red.
False
8
inv-proof
[(((((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule2) triple3) -> rule5))]
("Alan" "is" "red" "-")
((((triple1 triple2 ((triple2 triple1) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "nice" "+")
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "blue" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is kind.[(triple1)] Bob is blue.[(triple6)] Bob is green.[(triple5 OR ((triple6) -> rule6))] Bob is round.[(triple4)] Eric is cold.[(triple9)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Fred is kind.[(triple10)] @1: Alan is green.[(((triple2 triple1) -> rule3))] @2: Alan is blue.[(((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule2))] @3: Alan is red.[(((((triple1 triple2 ((triple2 triple1) -> rule3)) -> rule2) triple3) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is green.
("Bob" "is" "green" "+")
triple5
((triple6) -> (rule6 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple4
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Alan is green.
("Alan" "is" "green" "+")
((triple2 triple1) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple1 triple2 ((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
((((triple1 triple2 ((triple2 triple1) -> (rule3 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
When you see Alan, you will notice he is cold, big and kind.
Bob was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure.
Nice, but round, Eric has been said to be cold.
Fred always goes out of his way to show that he is kind to people.
Find someone cold and green; If they are also round, then they are sure to be nice.
A kind and cold person who is green is, surprisingly, also blue.
Show me someone who is cold and kind, and I'll show you how green they are.
People who have a big shape while they are young are found to be nice.
Big, blue people are red.
Anyone who's blue is also green.