The bear is cold. The bear is rough. The bear is young. The bear likes the squirrel. The bear needs the squirrel. The bear visits the squirrel. The squirrel is cold. The squirrel likes the bear. The squirrel needs the bear. The squirrel visits the bear. If something needs the bear then it visits the squirrel. If something likes the squirrel then it is nice. If something likes the squirrel and it visits the bear then the bear needs the squirrel.
The bear is cold.
("bear" "is" "cold" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something needs the bear then it visits the squirrel.
((("something" "needs" "bear" "+")) -> ("something" "visits" "squirrel" "+"))
If something likes the squirrel then it is nice.
((("something" "likes" "squirrel" "+")) -> ("something" "is" "nice" "+"))
If something likes the squirrel and it visits the bear then the bear needs the squirrel.
((("something" "likes" "squirrel" "+") ("something" "visits" "bear" "+")) -> ("bear" "needs" "squirrel" "+"))
The bear likes the squirrel.
True
1
proof
[(triple4)]
("bear" "likes" "squirrel" "+")
triple4
The squirrel does not need the bear.
False
1
inv-proof
[(triple9)]
("squirrel" "needs" "bear" "-")
triple9
The squirrel visits the squirrel.
True
2
proof
[(((triple9) -> rule1))]
("squirrel" "visits" "squirrel" "+")
((triple9) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the squirrel.
False
2
inv-proof
[(((triple9) -> rule1))]
("squirrel" "visits" "squirrel" "-")
((triple9) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "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 squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is cold.[(triple1)] The bear is rough.[(triple2)] The bear is young.[(triple3)] The bear likes the squirrel.[(triple4)] The bear needs the squirrel.[(triple5)] The bear visits the squirrel.[(triple6)] The squirrel is cold.[(triple7)] The squirrel likes the bear.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The bear is nice.[(((triple4) -> rule2))] The squirrel visits the squirrel.[(((triple9) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple5
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple8
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple9
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The bear is nice.
("bear" "is" "nice" "+")
((triple4) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple9) -> (rule1 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1