The bear is big. The bear is blue. The bear is green. The bear is kind. The bear is red. The bear likes the squirrel. The bear needs the squirrel. The bear visits the squirrel. The squirrel is big. The squirrel is blue. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel likes the bear. The squirrel needs the bear. The squirrel visits the bear. If something is kind then it likes the bear. If something needs the bear and the bear needs the squirrel then it visits the bear.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
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 big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
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 is kind then it likes the bear.
((("something" "is" "kind" "+")) -> ("something" "likes" "bear" "+"))
If something needs the bear and the bear needs the squirrel then it visits the bear.
((("something" "needs" "bear" "+") ("bear" "needs" "squirrel" "+")) -> ("something" "visits" "bear" "+"))
The squirrel likes the bear.
True
1
proof
[(triple14 OR ((triple12) -> rule1))]
("squirrel" "likes" "bear" "+")
triple14
((triple12) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The bear is not big.
False
1
inv-proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The bear likes the bear.
True
2
proof
[(((triple4) -> rule1))]
("bear" "likes" "bear" "+")
((triple4) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple4) -> rule1))]
("bear" "likes" "bear" "-")
((triple4) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "bear" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear likes the squirrel.[(triple6)] The bear needs the squirrel.[(triple7)] The bear visits the squirrel.[(triple8)] The squirrel is big.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel likes the bear.[(triple14 OR ((triple12) -> rule1))] The squirrel needs the bear.[(triple15)] The squirrel visits the bear.[(triple16 OR ((triple15 triple7) -> rule2))] @1: The bear likes the bear.[(((triple4) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear is kind.
("bear" "is" "kind" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple6
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple7
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple8
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple14
((triple12) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple15
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple16
((triple15 triple7) -> (rule2 % int1))
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple4) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1