The dog eats the squirrel. The dog is not cold. The squirrel does not eat the dog. The squirrel is round. The tiger does not like the dog. The tiger does not visit the dog. The tiger visits the squirrel. If someone eats the dog then they visit the tiger. If someone is nice and they eat the squirrel then the squirrel does not eat the tiger. If the squirrel eats the tiger and the tiger likes the dog then the squirrel is cold. If someone likes the tiger then they are round. If someone is round then they eat the tiger. If the dog is nice and the tiger does not eat the dog then the dog does not like the tiger. If someone visits the squirrel then they are rough. If someone is red then they do not like the squirrel.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is not cold.
("dog" "is" "cold" "-")
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If someone eats the dog then they visit the tiger.
((("someone" "eats" "dog" "+")) -> ("someone" "visits" "tiger" "+"))
If someone is nice and they eat the squirrel then the squirrel does not eat the tiger.
((("someone" "is" "nice" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "tiger" "-"))
If the squirrel eats the tiger and the tiger likes the dog then the squirrel is cold.
((("squirrel" "eats" "tiger" "+") ("tiger" "likes" "dog" "+")) -> ("squirrel" "is" "cold" "+"))
If someone likes the tiger then they are round.
((("someone" "likes" "tiger" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they eat the tiger.
((("someone" "is" "round" "+")) -> ("someone" "eats" "tiger" "+"))
If the dog is nice and the tiger does not eat the dog then the dog does not like the tiger.
((("dog" "is" "nice" "+") ("tiger" "eats" "dog" "~")) -> ("dog" "likes" "tiger" "-"))
If someone visits the squirrel then they are rough.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "rough" "+"))
If someone is red then they do not like the squirrel.
((("someone" "is" "red" "+")) -> ("someone" "likes" "squirrel" "-"))
The dog is not cold.
True
1
proof
[(triple2)]
("dog" "is" "cold" "-")
triple2
The squirrel is not round.
False
1
inv-proof
[(triple4)]
("squirrel" "is" "round" "-")
triple4
The squirrel eats the tiger.
True
2
proof
[(((triple4) -> rule5))]
("squirrel" "eats" "tiger" "+")
((triple4) -> (rule5 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple7) -> rule7))]
("tiger" "is" "rough" "-")
((triple7) -> (rule7 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The dog does not visit the tiger.
Unknown
inv-rconc
[@1: The dog visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "tiger" "-")
The tiger visits the tiger.
Unknown
rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "visits" "tiger" "+")
The dog does not like the squirrel.
Unknown
inv-random
[@0: The dog likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "squirrel" "-")
The tiger eats the dog.
Unknown
random
[@0: The tiger eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "dog" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is not cold.[(triple2)] The squirrel does not eat the dog.[(triple3)] The squirrel is round.[(triple4)] The tiger does not like the dog.[(triple5)] The tiger does not visit the dog.[(triple6)] The tiger visits the squirrel.[(triple7)] @1: The squirrel eats the tiger.[(((triple4) -> rule5))] The tiger is rough.[(((triple7) -> rule7))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is not cold.
("dog" "is" "cold" "-")
triple2
The squirrel does not eat the dog.
("squirrel" "eats" "dog" "-")
triple3
The squirrel is round.
("squirrel" "is" "round" "+")
triple4
The tiger does not like the dog.
("tiger" "likes" "dog" "-")
triple5
The tiger does not visit the dog.
("tiger" "visits" "dog" "-")
triple6
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple7
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
((triple4) -> (rule5 % int1))
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple7) -> (rule7 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1