The cow eats the tiger. The dog eats the cow. The squirrel eats the tiger. The tiger eats the squirrel. If someone is red and they visit the dog then they see the cow. If the dog eats the cow then the dog is cold. If someone visits the cow then the cow is red. If someone visits the dog and they see the squirrel then they visit the squirrel. If the tiger visits the cow and the cow sees the squirrel then the cow is kind. If the tiger visits the dog then the dog eats the tiger. If someone visits the squirrel and they eat the dog then the squirrel visits the tiger. If someone visits the dog and they see the dog then the dog visits the tiger.
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
If someone is red and they visit the dog then they see the cow.
((("someone" "is" "red" "+") ("someone" "visits" "dog" "+")) -> ("someone" "sees" "cow" "+"))
If the dog eats the cow then the dog is cold.
((("dog" "eats" "cow" "+")) -> ("dog" "is" "cold" "+"))
If someone visits the cow then the cow is red.
((("someone" "visits" "cow" "+")) -> ("cow" "is" "red" "+"))
If someone visits the dog and they see the squirrel then they visit the squirrel.
((("someone" "visits" "dog" "+") ("someone" "sees" "squirrel" "+")) -> ("someone" "visits" "squirrel" "+"))
If the tiger visits the cow and the cow sees the squirrel then the cow is kind.
((("tiger" "visits" "cow" "+") ("cow" "sees" "squirrel" "+")) -> ("cow" "is" "kind" "+"))
If the tiger visits the dog then the dog eats the tiger.
((("tiger" "visits" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
If someone visits the squirrel and they eat the dog then the squirrel visits the tiger.
((("someone" "visits" "squirrel" "+") ("someone" "eats" "dog" "+")) -> ("squirrel" "visits" "tiger" "+"))
If someone visits the dog and they see the dog then the dog visits the tiger.
((("someone" "visits" "dog" "+") ("someone" "sees" "dog" "+")) -> ("dog" "visits" "tiger" "+"))
The cow eats the tiger.
True
1
proof
[(triple1)]
("cow" "eats" "tiger" "+")
triple1
The cow does not eat the tiger.
False
1
inv-proof
[(triple1)]
("cow" "eats" "tiger" "-")
triple1
The dog is cold.
True
2
proof
[(((triple2) -> rule2))]
("dog" "is" "cold" "+")
((triple2) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "is" "cold" "-")
((triple2) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The cow does not see the cow.
Unknown
inv-rconc
[@1: The cow sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "sees" "cow" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "kind" "+")
The tiger is not red.
Unknown
inv-random
[@0: The tiger is red.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "red" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The cow eats the tiger.[(triple1)] The dog eats the cow.[(triple2)] The squirrel eats the tiger.[(triple3)] The tiger eats the squirrel.[(triple4)] @1: The dog is cold.[(((triple2) -> rule2))]
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple1
The dog eats the cow.
("dog" "eats" "cow" "+")
triple2
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple3
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
((triple2) -> (rule2 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1