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