The cow visits the rabbit. The mouse eats the squirrel. The rabbit eats the squirrel. The squirrel chases the rabbit. If something is blue and it chases the rabbit then it eats the squirrel. If something chases the rabbit and it eats the cow then the rabbit is nice. If something is rough and blue then it is big.
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
If something is blue and it chases the rabbit then it eats the squirrel.
((("something" "is" "blue" "+") ("something" "chases" "rabbit" "+")) -> ("something" "eats" "squirrel" "+"))
If something chases the rabbit and it eats the cow then the rabbit is nice.
((("something" "chases" "rabbit" "+") ("something" "eats" "cow" "+")) -> ("rabbit" "is" "nice" "+"))
If something is rough and blue then it is big.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
The rabbit eats the squirrel.
True
1
proof
[(triple3)]
("rabbit" "eats" "squirrel" "+")
triple3
The squirrel does not chase the rabbit.
False
1
inv-proof
[(triple4)]
("squirrel" "chases" "rabbit" "-")
triple4
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "big" "-")
The squirrel chases the cow.
Unknown
random
[@0: The squirrel chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cow" "+")
@0: The cow visits the rabbit.[(triple1)] The mouse eats the squirrel.[(triple2)] The rabbit eats the squirrel.[(triple3)] The squirrel chases the rabbit.[(triple4)]
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple3
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple4