The cow eats the squirrel. The cow visits the dog. The cow visits the tiger. The dog eats the cow. The dog eats the tiger. The dog is rough. The squirrel visits the cow. The squirrel visits the dog. The tiger eats the dog. The tiger is nice. The tiger is rough. The tiger needs the squirrel. If someone needs the cow then the cow is rough. If someone needs the cow and they eat the tiger then the cow eats the dog. If someone needs the dog then the dog is kind. If someone eats the cow and they need the dog then the dog is red. If someone needs the tiger and the tiger is nice then they visit the dog. If someone is red then they need the tiger.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The cow visits the tiger.
("cow" "visits" "tiger" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is rough.
("dog" "is" "rough" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone needs the cow then the cow is rough.
((("someone" "needs" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone needs the cow and they eat the tiger then the cow eats the dog.
((("someone" "needs" "cow" "+") ("someone" "eats" "tiger" "+")) -> ("cow" "eats" "dog" "+"))
If someone needs the dog then the dog is kind.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "kind" "+"))
If someone eats the cow and they need the dog then the dog is red.
((("someone" "eats" "cow" "+") ("someone" "needs" "dog" "+")) -> ("dog" "is" "red" "+"))
If someone needs the tiger and the tiger is nice then they visit the dog.
((("someone" "needs" "tiger" "+") ("tiger" "is" "nice" "+")) -> ("someone" "visits" "dog" "+"))
If someone is red then they need the tiger.
((("someone" "is" "red" "+")) -> ("someone" "needs" "tiger" "+"))
The tiger eats the dog.
True
1
proof
[(triple9)]
("tiger" "eats" "dog" "+")
triple9
The dog is not rough.
False
1
inv-proof
[(triple6)]
("dog" "is" "rough" "-")
triple6
The dog does not need the tiger.
Unknown
inv-rconc
[@2: The dog needs the tiger.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("dog" "needs" "tiger" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
@0: The cow eats the squirrel.[(triple1)] The cow visits the dog.[(triple2)] The cow visits the tiger.[(triple3)] The dog eats the cow.[(triple4)] The dog eats the tiger.[(triple5)] The dog is rough.[(triple6)] The squirrel visits the cow.[(triple7)] The squirrel visits the dog.[(triple8)] The tiger eats the dog.[(triple9)] The tiger is nice.[(triple10)] The tiger is rough.[(triple11)] The tiger needs the squirrel.[(triple12)]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow visits the dog.
("cow" "visits" "dog" "+")
triple2
The cow visits the tiger.
("cow" "visits" "tiger" "+")
triple3
The dog eats the cow.
("dog" "eats" "cow" "+")
triple4
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple7
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple8
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple12