The cat chases the rabbit. The cat chases the squirrel. The cat is big. The cat is green. The cat likes the mouse. The cat likes the squirrel. The mouse chases the squirrel. The mouse eats the squirrel. The mouse is big. The mouse is kind. The rabbit chases the mouse. The rabbit eats the mouse. The rabbit likes the mouse. The rabbit likes the squirrel. The squirrel likes the cat. If someone eats the squirrel then they are cold. If someone eats the mouse then they eat the squirrel. If someone likes the rabbit and the rabbit likes the cat then the cat chases the squirrel. If someone is cold and they eat the mouse then the mouse chases the rabbit. Kind people are rough. If the cat eats the mouse then the cat eats the rabbit.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is green.
("cat" "is" "green" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
If someone eats the squirrel then they are cold.
((("someone" "eats" "squirrel" "+")) -> ("someone" "is" "cold" "+"))
If someone eats the mouse then they eat the squirrel.
((("someone" "eats" "mouse" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone likes the rabbit and the rabbit likes the cat then the cat chases the squirrel.
((("someone" "likes" "rabbit" "+") ("rabbit" "likes" "cat" "+")) -> ("cat" "chases" "squirrel" "+"))
If someone is cold and they eat the mouse then the mouse chases the rabbit.
((("someone" "is" "cold" "+") ("someone" "eats" "mouse" "+")) -> ("mouse" "chases" "rabbit" "+"))
Kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If the cat eats the mouse then the cat eats the rabbit.
((("cat" "eats" "mouse" "+")) -> ("cat" "eats" "rabbit" "+"))
The cat chases the squirrel.
True
1
proof
[(triple2)]
("cat" "chases" "squirrel" "+")
triple2
The mouse does not chase the squirrel.
False
1
inv-proof
[(triple7)]
("mouse" "chases" "squirrel" "-")
triple7
The mouse is cold.
True
2
proof
[(((triple8) -> rule1))]
("mouse" "is" "cold" "+")
((triple8) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is not cold.
False
2
inv-proof
[(((triple8) -> rule1))]
("mouse" "is" "cold" "-")
((triple8) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The rabbit is cold.
True
3
proof
[(((((triple12) -> rule2)) -> rule1))]
("rabbit" "is" "cold" "+")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The rabbit is not cold.
False
3
inv-proof
[(((((triple12) -> rule2)) -> rule1))]
("rabbit" "is" "cold" "-")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The mouse chases the rabbit.
True
5
proof
[(((((((triple12) -> rule2)) -> rule1) triple12) -> rule4))]
("mouse" "chases" "rabbit" "+")
((((((triple12) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The mouse does not chase the rabbit.
False
5
inv-proof
[(((((((triple12) -> rule2)) -> rule1) triple12) -> rule4))]
("mouse" "chases" "rabbit" "-")
((((((triple12) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "is" "rough" "-")
The cat eats the rabbit.
Unknown
rconc
[@1: The cat eats the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "eats" "rabbit" "+")
The squirrel is not cold.
Unknown
inv-rconc
[@2: The squirrel is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("squirrel" "is" "cold" "-")
The squirrel eats the squirrel.
Unknown
rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "+")
The mouse does not eat the cat.
Unknown
inv-random
[@0: The mouse eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cat" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
The squirrel does not like the rabbit.
Unknown
inv-random
[@0: The squirrel likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "rabbit" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
@0: The cat chases the rabbit.[(triple1)] The cat chases the squirrel.[(triple2)] The cat is big.[(triple3)] The cat is green.[(triple4)] The cat likes the mouse.[(triple5)] The cat likes the squirrel.[(triple6)] The mouse chases the squirrel.[(triple7)] The mouse eats the squirrel.[(triple8)] The mouse is big.[(triple9)] The mouse is kind.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit eats the mouse.[(triple12)] The rabbit likes the mouse.[(triple13)] The rabbit likes the squirrel.[(triple14)] The squirrel likes the cat.[(triple15)] @1: The mouse is cold.[(((triple8) -> rule1))] The mouse is rough.[(((triple10) -> rule5))] The rabbit eats the squirrel.[(((triple12) -> rule2))] @2: The rabbit is cold.[(((((triple12) -> rule2)) -> rule1))] @3: The mouse chases the rabbit.[(((((((triple12) -> rule2)) -> rule1) triple12) -> rule4))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
The mouse chases the squirrel.
("mouse" "chases" "squirrel" "+")
triple7
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple11
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple12
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple13
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple14
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple15
The mouse is cold.
("mouse" "is" "cold" "+")
((triple8) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple10) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
((triple12) -> (rule2 % int1))
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
((((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int2
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
((((((triple12) -> (rule2 % int3))) -> (rule1 % int2)) triple12) -> (rule4 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
int3