The cat eats the mouse. The cat is cold. The cat is green. The cat is red. The cat is rough. The cat is round. The cat sees the mouse. The cat visits the mouse. The mouse eats the cat. The mouse is not cold. The mouse is green. The mouse is red. The mouse is rough. The mouse is not round. The mouse does not see the cat. The mouse visits the cat. If someone sees the cat and they see the mouse then they visit the cat. If someone is green then they eat the mouse. If the mouse is not rough then the mouse is red. If the cat is round and the cat does not see the mouse then the mouse is not cold. If someone sees the cat then the cat is green. If the mouse eats the cat then the cat is red.
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse does not see the cat.
("mouse" "sees" "cat" "-")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If someone sees the cat and they see the mouse then they visit the cat.
((("someone" "sees" "cat" "+") ("someone" "sees" "mouse" "+")) -> ("someone" "visits" "cat" "+"))
If someone is green then they eat the mouse.
((("someone" "is" "green" "+")) -> ("someone" "eats" "mouse" "+"))
If the mouse is not rough then the mouse is red.
((("mouse" "is" "rough" "~")) -> ("mouse" "is" "red" "+"))
If the cat is round and the cat does not see the mouse then the mouse is not cold.
((("cat" "is" "round" "+") ("cat" "sees" "mouse" "~")) -> ("mouse" "is" "cold" "-"))
If someone sees the cat then the cat is green.
((("someone" "sees" "cat" "+")) -> ("cat" "is" "green" "+"))
If the mouse eats the cat then the cat is red.
((("mouse" "eats" "cat" "+")) -> ("cat" "is" "red" "+"))
The cat visits the mouse.
True
1
proof
[(triple8)]
("cat" "visits" "mouse" "+")
triple8
The cat does not visit the mouse.
False
1
inv-proof
[(triple8)]
("cat" "visits" "mouse" "-")
triple8
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "visits" "cat" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat eats the mouse.[(triple1 OR ((triple3) -> rule2))] The cat is cold.[(triple2)] The cat is green.[(triple3)] The cat is red.[(triple4 OR ((triple9) -> rule6))] The cat is rough.[(triple5)] The cat is round.[(triple6)] The cat sees the mouse.[(triple7)] The cat visits the mouse.[(triple8)] The mouse does not see the cat.[(triple15)] The mouse eats the cat.[(triple9)] The mouse is green.[(triple11)] The mouse is not cold.[(triple10)] The mouse is not round.[(triple14)] The mouse is red.[(triple12)] The mouse is rough.[(triple13)] The mouse visits the cat.[(triple16)] @1: The mouse eats the mouse.[(((triple11) -> rule2))]
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple1
((triple3) -> (rule2 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is red.
("cat" "is" "red" "+")
triple4
((triple9) -> (rule6 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple7
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple8
The mouse does not see the cat.
("mouse" "sees" "cat" "-")
triple15
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple11
The mouse is not cold.
("mouse" "is" "cold" "-")
triple10
The mouse is not round.
("mouse" "is" "round" "-")
triple14
The mouse is red.
("mouse" "is" "red" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
triple13
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple16
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple11) -> (rule2 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1