The bear likes the squirrel. The squirrel does not eat the bear. The squirrel is blue. The squirrel is nice. The squirrel is rough. The squirrel likes the bear. The squirrel sees the bear. If something eats the bear then it sees the squirrel. If something is round and rough then it sees the squirrel. If something sees the squirrel and it likes the bear then the squirrel is cold. If something sees the squirrel and the squirrel likes the bear then the squirrel is round. If something likes the bear then it is round. If something likes the bear and it is not round then the bear likes the squirrel.
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something eats the bear then it sees the squirrel.
((("something" "eats" "bear" "+")) -> ("something" "sees" "squirrel" "+"))
If something is round and rough then it sees the squirrel.
((("something" "is" "round" "+") ("something" "is" "rough" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the squirrel and it likes the bear then the squirrel is cold.
((("something" "sees" "squirrel" "+") ("something" "likes" "bear" "+")) -> ("squirrel" "is" "cold" "+"))
If something sees the squirrel and the squirrel likes the bear then the squirrel is round.
((("something" "sees" "squirrel" "+") ("squirrel" "likes" "bear" "+")) -> ("squirrel" "is" "round" "+"))
If something likes the bear then it is round.
((("something" "likes" "bear" "+")) -> ("something" "is" "round" "+"))
If something likes the bear and it is not round then the bear likes the squirrel.
((("something" "likes" "bear" "+") ("something" "is" "round" "~")) -> ("bear" "likes" "squirrel" "+"))
The squirrel is blue.
True
1
proof
[(triple3)]
("squirrel" "is" "blue" "+")
triple3
The bear does not like the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "likes" "squirrel" "-")
triple1
The squirrel is round.
True
2
proof
[(((triple6) -> rule5))]
("squirrel" "is" "round" "+")
((triple6) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is not round.
False
2
inv-proof
[(((triple6) -> rule5))]
("squirrel" "is" "round" "-")
((triple6) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel sees the squirrel.
True
4
proof
[(((((triple6) -> rule5) triple5) -> rule2))]
("squirrel" "sees" "squirrel" "+")
((((triple6) -> (rule5 % int2)) triple5) -> (rule2 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel does not see the squirrel.
False
4
inv-proof
[(((((triple6) -> rule5) triple5) -> rule2))]
("squirrel" "sees" "squirrel" "-")
((((triple6) -> (rule5 % int2)) triple5) -> (rule2 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The bear does not see the squirrel.
Unknown
inv-rconc
[@1: The bear sees the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "squirrel" "-")
The bear is round.
Unknown
rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "round" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The bear likes the squirrel.[(triple1)] The squirrel does not eat the bear.[(triple2)] The squirrel is blue.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is rough.[(triple5)] The squirrel likes the bear.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The squirrel is round.[(((triple6) -> rule5))] @2: The squirrel sees the squirrel.[(((((triple6) -> rule5) triple5) -> rule2))] @3: The squirrel is cold.[(((((((triple6) -> rule5) triple5) -> rule2) triple6) -> rule3))]
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple1
The squirrel does not eat the bear.
("squirrel" "eats" "bear" "-")
triple2
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple3
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple4
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple5
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple6
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple7
The squirrel is round.
("squirrel" "is" "round" "+")
((triple6) -> (rule5 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((((triple6) -> (rule5 % int2)) triple5) -> (rule2 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((((triple6) -> (rule5 % int3)) triple5) -> (rule2 % int2)) triple6) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3