Bob is big and seems cold, but he's just green. Really, he is nice and often red with laughter. Dave is both young and fairly round in size. Eric always goes out of his way to show that he is kind to people. Big blue Fred is nice and young. If you see someone who is red and green they are round, like Santa Claus. A rough person that is cold towards others is green. Blue people who are big tend to be rough. People who are young and green are also kind. Someone that is red and blue because they are cold are also round. Young and nice people are ultimately cold.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Eric is kind.
True
1
proof
[(triple8)]
("Eric" "is" "kind" "+")
triple8
Bob is not green.
False
1
inv-proof
[(triple3)]
("Bob" "is" "green" "-")
triple3
Fred is cold.
True
3
proof
[(((triple9 triple10) -> rule6))]
("Fred" "is" "cold" "+")
((triple9 triple10) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Bob is not round.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Bob" "is" "round" "-")
((triple1 triple3) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fred is green.
True
7
proof
[(((((triple11 triple12) -> rule3) ((triple9 triple10) -> rule6)) -> rule2))]
("Fred" "is" "green" "+")
((((triple11 triple12) -> (rule3 % int3)) ((triple9 triple10) -> (rule6 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not green.
False
7
inv-proof
[(((((triple11 triple12) -> rule3) ((triple9 triple10) -> rule6)) -> rule2))]
("Fred" "is" "green" "-")
((((triple11 triple12) -> (rule3 % int3)) ((triple9 triple10) -> (rule6 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is kind.
True
9
proof
[(((triple9 ((((triple11 triple12) -> rule3) ((triple9 triple10) -> rule6)) -> rule2)) -> rule4))]
("Fred" "is" "kind" "+")
((triple9 ((((triple11 triple12) -> (rule3 % int4)) ((triple9 triple10) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is not kind.
False
9
inv-proof
[(((triple9 ((((triple11 triple12) -> rule3) ((triple9 triple10) -> rule6)) -> rule2)) -> rule4))]
("Fred" "is" "kind" "-")
((triple9 ((((triple11 triple12) -> (rule3 % int4)) ((triple9 triple10) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Eric" "is" "green" "-")
Bob is rough.
Unknown
rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "+")
Dave is not green.
Unknown
inv-rconc
[@2: Dave is green.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Dave" "is" "green" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Dave is round.[(triple7)] Dave is young.[(triple6)] Eric is kind.[(triple8)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is nice.[(triple10)] Fred is young.[(triple9)] @1: Bob is round.[(((triple1 triple3) -> rule1))] Fred is cold.[(((triple9 triple10) -> rule6))] Fred is rough.[(((triple11 triple12) -> rule3))] @2: Fred is green.[(((((triple11 triple12) -> rule3) ((triple9 triple10) -> rule6)) -> rule2))] @3: Fred is kind.[(((triple9 ((((triple11 triple12) -> rule3) ((triple9 triple10) -> rule6)) -> rule2)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple8
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is young.
("Fred" "is" "young" "+")
triple9
Bob is round.
("Bob" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple9 triple10) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple11 triple12) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((((triple11 triple12) -> (rule3 % int3)) ((triple9 triple10) -> (rule6 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((triple9 ((((triple11 triple12) -> (rule3 % int4)) ((triple9 triple10) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Bob is big and seems cold, but he's just green; Really, he is nice and often red with laughter.
Dave is both young and fairly round in size.
Eric always goes out of his way to show that he is kind to people.
Big blue Fred is nice and young.
If you see someone who is red and green they are round, like Santa Claus.
A rough person that is cold towards others is green.
Blue people who are big tend to be rough.
People who are young and green are also kind.
Someone that is red and blue because they are cold are also round.
Young and nice people are ultimately cold.