The cat eats the cow. The cat eats the mouse. The cat is blue. The cat is cold. The cat visits the mouse. The cow is cold. The cow is round. The cow is young. The cow visits the cat. The cow visits the mouse. The mouse chases the cat. The mouse eats the cat. The mouse eats the cow. The mouse is round. The mouse visits the cow. If someone chases the mouse and the mouse eats the cow then the cow visits the mouse. All blue people are rough. If someone visits the cow then the cow visits the cat. If someone visits the cat and the cat visits the cow then the cat eats the mouse. If someone chases the cow then the cow eats the cat. If someone is rough then they visit the cow.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If someone chases the mouse and the mouse eats the cow then the cow visits the mouse.
((("someone" "chases" "mouse" "+") ("mouse" "eats" "cow" "+")) -> ("cow" "visits" "mouse" "+"))
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the cow then the cow visits the cat.
((("someone" "visits" "cow" "+")) -> ("cow" "visits" "cat" "+"))
If someone visits the cat and the cat visits the cow then the cat eats the mouse.
((("someone" "visits" "cat" "+") ("cat" "visits" "cow" "+")) -> ("cat" "eats" "mouse" "+"))
If someone chases the cow then the cow eats the cat.
((("someone" "chases" "cow" "+")) -> ("cow" "eats" "cat" "+"))
If someone is rough then they visit the cow.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "cow" "+"))
The cat is cold.
True
1
proof
[(triple4)]
("cat" "is" "cold" "+")
triple4
The cat is not cold.
False
1
inv-proof
[(triple4)]
("cat" "is" "cold" "-")
triple4
The cat is rough.
True
2
proof
[(((triple3) -> rule2))]
("cat" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple3) -> rule2))]
("cat" "is" "rough" "-")
((triple3) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cow does not eat the cat.
Unknown
inv-rconc
[@1: The cow eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "eats" "cat" "-")
The cow visits the cow.
Unknown
rconc
[@2: The cow visits the cow.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("cow" "visits" "cow" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The cat eats the cow.[(triple1)] The cat eats the mouse.[(triple2 OR ((triple9 ((((triple3) -> rule2)) -> rule6)) -> rule4) OR ((((triple15) -> rule3) ((((triple3) -> rule2)) -> rule6)) -> rule4) OR ((((((((triple3) -> rule2)) -> rule6)) -> rule3) ((((triple3) -> rule2)) -> rule6)) -> rule4))] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat visits the mouse.[(triple5)] The cow is cold.[(triple6)] The cow is round.[(triple7)] The cow is young.[(triple8)] The cow visits the cat.[(triple9 OR ((triple15) -> rule3) OR ((((((triple3) -> rule2)) -> rule6)) -> rule3))] The cow visits the mouse.[(triple10)] The mouse chases the cat.[(triple11)] The mouse eats the cat.[(triple12)] The mouse eats the cow.[(triple13)] The mouse is round.[(triple14)] The mouse visits the cow.[(triple15)] @1: The cat is rough.[(((triple3) -> rule2))] @2: The cat visits the cow.[(((((triple3) -> rule2)) -> rule6))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
((triple9 ((((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
((((triple15) -> (rule3 % int4)) ((((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cow visits the cat.
("cow" "visits" "cat" "+")
int4
((((((((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule3 % int2)) ((((triple3) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule4 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cow visits the cat.
("cow" "visits" "cat" "+")
int2
The cat visits the cow.
("cat" "visits" "cow" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
int4
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple5
The cow is cold.
("cow" "is" "cold" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
The cow is young.
("cow" "is" "young" "+")
triple8
The cow visits the cat.
("cow" "visits" "cat" "+")
triple9
((triple15) -> (rule3 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1
((((((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
int2
The cat is rough.
("cat" "is" "rough" "+")
int3
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple11
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple12
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple15
The cat is rough.
("cat" "is" "rough" "+")
((triple3) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat visits the cow.
("cat" "visits" "cow" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
The cat visits the cow.
("cat" "visits" "cow" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
int2