The cow is kind. The squirrel visits the tiger. The tiger likes the cow. If the squirrel is red and the squirrel is blue then the squirrel likes the cow.
The cow is kind.
("cow" "is" "kind" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger likes the cow.
("tiger" "likes" "cow" "+")
If the squirrel is red and the squirrel is blue then the squirrel likes the cow.
((("squirrel" "is" "red" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "likes" "cow" "+"))
The squirrel visits the tiger.
True
1
proof
[(triple2)]
("squirrel" "visits" "tiger" "+")
triple2
The cow is not kind.
False
1
inv-proof
[(triple1)]
("cow" "is" "kind" "-")
triple1
The squirrel does not like the cow.
Unknown
inv-rconc
[@1: The squirrel likes the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "likes" "cow" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The cow is kind.[(triple1)] The squirrel visits the tiger.[(triple2)] The tiger likes the cow.[(triple3)]
The cow is kind.
("cow" "is" "kind" "+")
triple1
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple2
The tiger likes the cow.
("tiger" "likes" "cow" "+")
triple3