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