The cat is green. The cat is red. The cat likes the rabbit. The cat likes the squirrel. The cat needs the rabbit. The cat needs the squirrel. The rabbit is green. The rabbit is kind. The rabbit likes the cat. The rabbit likes the squirrel. The rabbit needs the cat. The rabbit needs the squirrel. The rabbit sees the cat. The rabbit sees the squirrel. The squirrel likes the rabbit. If something needs the rabbit and the rabbit needs the squirrel then it needs the cat. If something is red then it is cold. If something is green and it likes the cat then it needs the cat. If something is kind and it likes the cat then it is rough. If something sees the rabbit then the rabbit needs the squirrel. If something sees the rabbit then the rabbit needs the squirrel. If something likes the squirrel then the squirrel is rough. If something sees the cat then the cat is red.
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If something needs the rabbit and the rabbit needs the squirrel then it needs the cat.
((("something" "needs" "rabbit" "+") ("rabbit" "needs" "squirrel" "+")) -> ("something" "needs" "cat" "+"))
If something is red then it is cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something is green and it likes the cat then it needs the cat.
((("something" "is" "green" "+") ("something" "likes" "cat" "+")) -> ("something" "needs" "cat" "+"))
If something is kind and it likes the cat then it is rough.
((("something" "is" "kind" "+") ("something" "likes" "cat" "+")) -> ("something" "is" "rough" "+"))
If something sees the rabbit then the rabbit needs the squirrel.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If something sees the rabbit then the rabbit needs the squirrel.
((("something" "sees" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If something likes the squirrel then the squirrel is rough.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something sees the cat then the cat is red.
((("something" "sees" "cat" "+")) -> ("cat" "is" "red" "+"))
The cat likes the squirrel.
True
1
proof
[(triple4)]
("cat" "likes" "squirrel" "+")
triple4
The cat does not need the squirrel.
False
1
inv-proof
[(triple6)]
("cat" "needs" "squirrel" "-")
triple6
The squirrel is rough.
True
2
proof
[(((triple10) -> rule7) OR ((triple4) -> rule7))]
("squirrel" "is" "rough" "+")
((triple10) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple4) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cat is not cold.
False
2
inv-proof
[(((triple2) -> rule2) OR ((((triple13) -> rule8)) -> rule2))]
("cat" "is" "cold" "-")
((triple2) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The squirrel is not cold.
Unknown
inv-rconc
[@1: The squirrel is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "cold" "-")
The rabbit is cold.
Unknown
rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "cold" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
@0: The cat is green.[(triple1)] The cat is red.[(triple2 OR ((triple13) -> rule8))] The cat likes the rabbit.[(triple3)] The cat likes the squirrel.[(triple4)] The cat needs the rabbit.[(triple5)] The cat needs the squirrel.[(triple6)] The rabbit is green.[(triple7)] The rabbit is kind.[(triple8)] The rabbit likes the cat.[(triple9)] The rabbit likes the squirrel.[(triple10)] The rabbit needs the cat.[(triple11 OR ((triple7 triple9) -> rule3))] The rabbit needs the squirrel.[(triple12)] The rabbit sees the cat.[(triple13)] The rabbit sees the squirrel.[(triple14)] The squirrel likes the rabbit.[(triple15)] @1: The cat is cold.[(((triple2) -> rule2) OR ((((triple13) -> rule8)) -> rule2))] The cat needs the cat.[(((triple5 triple12) -> rule1))] The rabbit is rough.[(((triple8 triple9) -> rule4))] The squirrel is rough.[(((triple10) -> rule7) OR ((triple4) -> rule7))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
((triple13) -> (rule8 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple3
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple4
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple5
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple6
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple8
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple9
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple10
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple11
((triple7 triple9) -> (rule3 % int1))
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple12
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple13
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple14
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple15
The cat is cold.
("cat" "is" "cold" "+")
((triple2) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
((((triple13) -> (rule8 % int2))) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple5 triple12) -> (rule1 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple8 triple9) -> (rule4 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((triple10) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
((triple4) -> (rule7 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1