The bear chases the squirrel. The bear is kind. The bear is round. The bear likes the squirrel. The squirrel does not chase the bear. The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel is round. The squirrel is young. The squirrel does not like the bear. The squirrel sees the bear. If something is cold and it likes the bear then it is young. If something is big and not cold then it likes the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If something is cold and it likes the bear then it is young.
((("something" "is" "cold" "+") ("something" "likes" "bear" "+")) -> ("something" "is" "young" "+"))
If something is big and not cold then it likes the bear.
((("something" "is" "big" "+") ("something" "is" "cold" "~")) -> ("something" "likes" "bear" "+"))
The squirrel is cold.
True
1
proof
[(triple7)]
("squirrel" "is" "cold" "+")
triple7
The squirrel is not cold.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "cold" "-")
triple7
The bear does not like the bear.
Unknown
inv-rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear likes the squirrel.[(triple4)] The squirrel does not chase the bear.[(triple5)] The squirrel does not like the bear.[(triple11)] The squirrel is big.[(triple6)] The squirrel is cold.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is round.[(triple9)] The squirrel is young.[(triple10)] The squirrel sees the bear.[(triple12)]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple4
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple5
The squirrel does not like the bear.
("squirrel" "likes" "bear" "-")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel is young.
("squirrel" "is" "young" "+")
triple10
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple12