Nice, but round, Alan has been said to be cold. Most people consider Bob to bed red. He's pretty cold to people and often feels blue. Bob is a big person. The big, round, blue guy is Eric. He's kind but rather rough. People that tend to be big and green also tend to be cold. Kind, young, green persons are sure to be rough persons, too. Anyone in the world who is nice, red, and young, is simultaneously rough. People feeling green and blue are somewhat nice. Young,round people tend to be rough and big. Round people are often red before they turn green. A round person will also be red.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and red and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and blue then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is round then they are red.
((("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
Eric is rough.
True
1
proof
[(triple9)]
("Eric" "is" "rough" "+")
triple9
Alan is not cold.
False
1
inv-proof
[(triple3)]
("Alan" "is" "cold" "-")
triple3
Alan is red.
True
2
proof
[(((triple1) -> rule7))]
("Alan" "is" "red" "+")
((triple1) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
2
inv-proof
[(((triple1) -> rule7))]
("Alan" "is" "red" "-")
((triple1) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
True
4
proof
[(((triple1 ((triple1) -> rule7)) -> rule6))]
("Alan" "is" "green" "+")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not green.
False
4
inv-proof
[(((triple1 ((triple1) -> rule7)) -> rule6))]
("Alan" "is" "green" "-")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Eric is nice.
True
6
proof
[(((((triple8 ((triple8) -> rule7)) -> rule6) triple11) -> rule4))]
("Eric" "is" "nice" "+")
((((triple8 ((triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not nice.
False
6
inv-proof
[(((((triple8 ((triple8) -> rule7)) -> rule6) triple11) -> rule4))]
("Eric" "is" "nice" "-")
((((triple8 ((triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is big.[(triple7)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is red.[(triple4)] Eric is big.[(triple12)] Eric is blue.[(triple11)] Eric is kind.[(triple10)] Eric is rough.[(triple9)] Eric is round.[(triple8)] @1: Alan is red.[(((triple1) -> rule7))] Eric is red.[(((triple8) -> rule7))] @2: Alan is green.[(((triple1 ((triple1) -> rule7)) -> rule6))] Eric is green.[(((triple8 ((triple8) -> rule7)) -> rule6))] @3: Eric is cold.[(((triple12 ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1))] Eric is nice.[(((((triple8 ((triple8) -> rule7)) -> rule6) triple11) -> rule4))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple4
Eric is big.
("Eric" "is" "big" "+")
triple12
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Eric is rough.
("Eric" "is" "rough" "+")
triple9
Eric is round.
("Eric" "is" "round" "+")
triple8
Alan is red.
("Alan" "is" "red" "+")
((triple1) -> (rule7 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple8) -> (rule7 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
((triple8 ((triple8) -> (rule7 % int2))) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is cold.
("Eric" "is" "cold" "+")
((triple12 ((triple8 ((triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Eric is cold.
("Eric" "is" "cold" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is nice.
("Eric" "is" "nice" "+")
((((triple8 ((triple8) -> (rule7 % int3))) -> (rule6 % int2)) triple11) -> (rule4 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Nice, but round, Alan has been said to be cold.
Most people consider Bob to bed red; He's pretty cold to people and often feels blue; Bob is a big person.
The big, round, blue guy is Eric; He's kind but rather rough.
People that tend to be big and green also tend to be cold.
Kind, young, green persons are sure to be rough persons, too.
Anyone in the world who is nice, red, and young, is simultaneously rough.
People feeling green and blue are somewhat nice.
Young,round people tend to be rough and big.
Round people are often red before they turn green.
A round person will also be red.