Bob is blue from ink he spilled on himself while being kind and helping some children paint. Charlie ate some rotten meat and now feels green. Eric has a young round face that makes him look nice and kind, but he is really rather cold. Fred is so young and darling he is kind to all the old people on the block. A round person who is cold is big. Blue and red people are often rough. A depressed person feeling blue who is kind cannot escape from being green. When someone is young they can be nice and kind, but green in society. A kind person who is green is usually round. It's true that green and blue people are also red people. Anybody that is blue, red and cold will also be round, for sure.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is kind.
("Fred" "is" "kind" "+")
If someone is cold and round then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
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 kind and green then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is green and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and cold and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Eric is nice.
True
1
proof
[(triple6)]
("Eric" "is" "nice" "+")
triple6
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Eric is green.
True
4
proof
[(((triple7 triple6 triple4) -> rule4))]
("Eric" "is" "green" "+")
((triple7 triple6 triple4) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple8 triple5) -> rule1) OR ((triple8 ((triple7 ((triple7 triple6 triple4) -> rule4)) -> rule5)) -> rule1))]
("Eric" "is" "big" "-")
((triple8 triple5) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
((triple8 ((triple7 ((triple7 triple6 triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Bob is round.
True
5
proof
[(((triple1 ((triple2 triple1) -> rule3)) -> rule5))]
("Bob" "is" "round" "+")
((triple1 ((triple2 triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not round.
False
5
inv-proof
[(((triple1 ((triple2 triple1) -> rule3)) -> rule5))]
("Bob" "is" "round" "-")
((triple1 ((triple2 triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
True
7
proof
[(((triple2 ((((triple2 triple1) -> rule3) triple2) -> rule6)) -> rule2))]
("Bob" "is" "rough" "+")
((triple2 ((((triple2 triple1) -> (rule3 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not rough.
False
7
inv-proof
[(((triple2 ((((triple2 triple1) -> rule3) triple2) -> rule6)) -> rule2))]
("Bob" "is" "rough" "-")
((triple2 ((((triple2 triple1) -> (rule3 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "red" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is blue.[(triple2)] Bob is kind.[(triple1)] Charlie is green.[(triple3)] Eric is cold.[(triple8)] Eric is kind.[(triple7)] Eric is nice.[(triple6)] Eric is round.[(triple5 OR ((triple7 ((triple7 triple6 triple4) -> rule4)) -> rule5))] Eric is young.[(triple4)] Fred is kind.[(triple10)] Fred is young.[(triple9)] @1: Bob is green.[(((triple2 triple1) -> rule3))] Eric is big.[(((triple8 triple5) -> rule1) OR ((triple8 ((triple7 ((triple7 triple6 triple4) -> rule4)) -> rule5)) -> rule1))] Eric is green.[(((triple7 triple6 triple4) -> rule4))] @2: Bob is red.[(((((triple2 triple1) -> rule3) triple2) -> rule6))] Bob is round.[(((triple1 ((triple2 triple1) -> rule3)) -> rule5))] @3: Bob is rough.[(((triple2 ((((triple2 triple1) -> rule3) triple2) -> rule6)) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
((triple7 ((triple7 triple6 triple4) -> (rule4 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
((triple2 triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((triple8 triple5) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
((triple8 ((triple7 ((triple7 triple6 triple4) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is green.
("Eric" "is" "green" "+")
((triple7 triple6 triple4) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((((triple2 triple1) -> (rule3 % int2)) triple2) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple1 ((triple2 triple1) -> (rule3 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 ((((triple2 triple1) -> (rule3 % int3)) triple2) -> (rule6 % int2))) -> (rule2 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue from ink he spilled on himself while being kind and helping some children paint.
Charlie ate some rotten meat and now feels green.
Eric has a young round face that makes him look nice and kind, but he is really rather cold.
Fred is so young and darling he is kind to all the old people on the block.
A round person who is cold is big.
Blue and red people are often rough.
A depressed person feeling blue who is kind cannot escape from being green.
When someone is young they can be nice and kind, but green in society.
A kind person who is green is usually round.
It's true that green and blue people are also red people.
Anybody that is blue, red and cold will also be round, for sure.