The cat chases the mouse. The cat chases the squirrel. The cat eats the mouse. The cat is cold. The cat is rough. The cat visits the mouse. The cat visits the squirrel. The mouse chases the squirrel. The mouse eats the squirrel. The mouse is not rough. The mouse visits the cat. The mouse does not visit the squirrel. The squirrel chases the cat. The squirrel does not eat the mouse. The squirrel is not rough. The squirrel visits the cat. If someone eats the squirrel and the squirrel chases the cat then the cat is rough. If someone eats the cat then the cat eats the squirrel. All big people are not rough. If someone is nice and they visit the squirrel then the squirrel eats the cat. If someone chases the mouse and the mouse does not visit the cat then the cat visits the mouse. If someone chases the squirrel then they are nice.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
The squirrel is not rough.
("squirrel" "is" "rough" "-")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
If someone eats the squirrel and the squirrel chases the cat then the cat is rough.
((("someone" "eats" "squirrel" "+") ("squirrel" "chases" "cat" "+")) -> ("cat" "is" "rough" "+"))
If someone eats the cat then the cat eats the squirrel.
((("someone" "eats" "cat" "+")) -> ("cat" "eats" "squirrel" "+"))
All big people are not rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "-"))
If someone is nice and they visit the squirrel then the squirrel eats the cat.
((("someone" "is" "nice" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "eats" "cat" "+"))
If someone chases the mouse and the mouse does not visit the cat then the cat visits the mouse.
((("someone" "chases" "mouse" "+") ("mouse" "visits" "cat" "~")) -> ("cat" "visits" "mouse" "+"))
If someone chases the squirrel then they are nice.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
The cat visits the mouse.
True
1
proof
[(triple6)]
("cat" "visits" "mouse" "+")
triple6
The squirrel does not chase the cat.
False
1
inv-proof
[(triple13)]
("squirrel" "chases" "cat" "-")
triple13
The mouse is nice.
True
2
proof
[(((triple8) -> rule6))]
("mouse" "is" "nice" "+")
((triple8) -> (rule6 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not nice.
False
2
inv-proof
[(((triple8) -> rule6))]
("mouse" "is" "nice" "-")
((triple8) -> (rule6 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The squirrel eats the cat.
True
4
proof
[(((((triple2) -> rule6) triple7) -> rule4))]
("squirrel" "eats" "cat" "+")
((((triple2) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The squirrel does not eat the cat.
False
4
inv-proof
[(((((triple2) -> rule6) triple7) -> rule4))]
("squirrel" "eats" "cat" "-")
((((triple2) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat eats the squirrel.
True
5
proof
[(((((((triple2) -> rule6) triple7) -> rule4)) -> rule2))]
("cat" "eats" "squirrel" "+")
((((((triple2) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The cat does not eat the squirrel.
False
5
inv-proof
[(((((((triple2) -> rule6) triple7) -> rule4)) -> rule2))]
("cat" "eats" "squirrel" "-")
((((((triple2) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "is" "nice" "-")
The mouse chases the cat.
Unknown
random
[@0: The mouse chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cat" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (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" "+")
The squirrel does not visit the squirrel.
Unknown
inv-random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The cat chases the mouse.[(triple1)] The cat chases the squirrel.[(triple2)] The cat eats the mouse.[(triple3)] The cat is cold.[(triple4)] The cat is rough.[(triple5 OR ((triple9 triple13) -> rule1) OR ((((((((triple2) -> rule6) triple7) -> rule4)) -> rule2) triple13) -> rule1))] The cat visits the mouse.[(triple6)] The cat visits the squirrel.[(triple7)] The mouse chases the squirrel.[(triple8)] The mouse does not visit the squirrel.[(triple12)] The mouse eats the squirrel.[(triple9)] The mouse is not rough.[(triple10)] The mouse visits the cat.[(triple11)] The squirrel chases the cat.[(triple13)] The squirrel does not eat the mouse.[(triple14)] The squirrel is not rough.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The cat is nice.[(((triple2) -> rule6))] The mouse is nice.[(((triple8) -> rule6))] @2: The squirrel eats the cat.[(((((triple2) -> rule6) triple7) -> rule4))] @3: The cat eats the squirrel.[(((((((triple2) -> rule6) triple7) -> rule4)) -> rule2))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple3
The cat is cold.
("cat" "is" "cold" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
((triple9 triple13) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
((((((((triple2) -> (rule6 % int4)) triple7) -> (rule4 % int3))) -> (rule2 % int2)) triple13) -> (rule1 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int2
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int3
The cat is nice.
("cat" "is" "nice" "+")
int4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple6
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple7
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple8
The mouse does not visit the squirrel.
("mouse" "visits" "squirrel" "-")
triple12
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple9
The mouse is not rough.
("mouse" "is" "rough" "-")
triple10
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple11
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple13
The squirrel does not eat the mouse.
("squirrel" "eats" "mouse" "-")
triple14
The squirrel is not rough.
("squirrel" "is" "rough" "-")
triple15
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple16
The cat is nice.
("cat" "is" "nice" "+")
((triple2) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple8) -> (rule6 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((((triple2) -> (rule6 % int2)) triple7) -> (rule4 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
int2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
((((((triple2) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int2
The cat is nice.
("cat" "is" "nice" "+")
int3