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