That man standing next to you with a big round body goes by the name of Bob. Charlie is a red fellow who habitually looks blue. He's often cold. Eric is a very rough person. As expected, he's also a very cold and big individual. Fred is a man who is both round and rough. Big people who kind even when look green are often always considered nice. If a kind, red person is also feeling blue then he will be cold to outsiders. When you meet big guys with red hair, then tend to be cold hearted. When someone feels blue and rough, they might be described as green. A big and rough person can be misleading because they are cold and blue as well. Nice people that are colored red and green are always round. Someone who happens to be cold and green and big all at once must also be round in shape.
Bob is round.
("Bob" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
If someone is big and kind and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and red and blue then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and red and nice then they are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and green and big then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Bob is big.
True
1
proof
[(triple2)]
("Bob" "is" "big" "+")
triple2
Eric is not cold.
False
1
inv-proof
[(triple7)]
("Eric" "is" "cold" "-")
triple7
Eric is blue.
True
4
proof
[(((triple7 triple8 triple6) -> rule5))]
("Eric" "is" "blue" "+")
((triple7 triple8 triple6) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
4
inv-proof
[(((triple7 triple8 triple6) -> rule5))]
("Eric" "is" "blue" "-")
((triple7 triple8 triple6) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
True
6
proof
[(((((triple7 triple8 triple6) -> rule5) triple6) -> rule4))]
("Eric" "is" "green" "+")
((((triple7 triple8 triple6) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not green.
False
6
inv-proof
[(((((triple7 triple8 triple6) -> rule5) triple6) -> rule4))]
("Eric" "is" "green" "-")
((((triple7 triple8 triple6) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
True
9
proof
[(((triple7 ((((triple7 triple8 triple6) -> rule5) triple6) -> rule4) triple8) -> rule7))]
("Eric" "is" "round" "+")
((triple7 ((((triple7 triple8 triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not round.
False
9
inv-proof
[(((triple7 ((((triple7 triple8 triple6) -> rule5) triple6) -> rule4) triple8) -> rule7))]
("Eric" "is" "round" "-")
((triple7 ((((triple7 triple8 triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "cold" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple2)] Bob is round.[(triple1)] Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is red.[(triple3)] Eric is big.[(triple8)] Eric is cold.[(triple7)] Eric is rough.[(triple6)] Fred is rough.[(triple10)] Fred is round.[(triple9)] @1: Eric is blue.[(((triple7 triple8 triple6) -> rule5))] @2: Eric is green.[(((((triple7 triple8 triple6) -> rule5) triple6) -> rule4))] @3: Eric is round.[(((triple7 ((((triple7 triple8 triple6) -> rule5) triple6) -> rule4) triple8) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is cold.
("Eric" "is" "cold" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple10
Fred is round.
("Fred" "is" "round" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
((triple7 triple8 triple6) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple7 triple8 triple6) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple7 ((((triple7 triple8 triple6) -> (rule5 % int3)) triple6) -> (rule4 % int2)) triple8) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
That man standing next to you with a big round body goes by the name of Bob.
Charlie is a red fellow who habitually looks blue; He's often cold.
Eric is a very rough person; As expected, he's also a very cold and big individual.
Fred is a man who is both round and rough.
Big people who kind even when look green are often always considered nice.
If a kind, red person is also feeling blue then he will be cold to outsiders.
When you meet big guys with red hair, then tend to be cold hearted.
When someone feels blue and rough, they might be described as green.
A big and rough person can be misleading because they are cold and blue as well.
Nice people that are colored red and green are always round.
Someone who happens to be cold and green and big all at once must also be round in shape.