The cow is green. The dog is round. The rabbit sees the squirrel. The squirrel visits the cow. If the rabbit eats the squirrel and the squirrel is nice then the squirrel visits the cow. If the cow eats the rabbit then the cow is red.
The cow is green.
("cow" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If the rabbit eats the squirrel and the squirrel is nice then the squirrel visits the cow.
((("rabbit" "eats" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "visits" "cow" "+"))
If the cow eats the rabbit then the cow is red.
((("cow" "eats" "rabbit" "+")) -> ("cow" "is" "red" "+"))
The dog is round.
True
1
proof
[(triple2)]
("dog" "is" "round" "+")
triple2
The squirrel does not visit the cow.
False
1
inv-proof
[(triple4)]
("squirrel" "visits" "cow" "-")
triple4
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "red" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
@0: The cow is green.[(triple1)] The dog is round.[(triple2)] The rabbit sees the squirrel.[(triple3)] The squirrel visits the cow.[(triple4)]
The cow is green.
("cow" "is" "green" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
triple2
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple3
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple4