The cat is kind. The cat is nice. The cat is rough. The cat is young. The cat likes the rabbit. The rabbit is rough. The rabbit is young. The rabbit needs the cat. The squirrel eats the cat. The squirrel is green. The squirrel is kind. The squirrel is rough. The squirrel is young. The squirrel likes the rabbit. The squirrel needs the cat. The squirrel needs the rabbit. If something needs the squirrel and the squirrel likes the rabbit then it is green. If something is nice and it eats the squirrel then the squirrel is rough. If something likes the rabbit then the rabbit needs the squirrel.
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If something needs the squirrel and the squirrel likes the rabbit then it is green.
((("something" "needs" "squirrel" "+") ("squirrel" "likes" "rabbit" "+")) -> ("something" "is" "green" "+"))
If something is nice and it eats the squirrel then the squirrel is rough.
((("something" "is" "nice" "+") ("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
If something likes the rabbit then the rabbit needs the squirrel.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
The rabbit is rough.
True
1
proof
[(triple6)]
("rabbit" "is" "rough" "+")
triple6
The rabbit is not rough.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "rough" "-")
triple6
The rabbit needs the squirrel.
True
2
proof
[(((triple14) -> rule3) OR ((triple5) -> rule3))]
("rabbit" "needs" "squirrel" "+")
((triple14) -> (rule3 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
((triple5) -> (rule3 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit does not need the squirrel.
False
2
inv-proof
[(((triple14) -> rule3) OR ((triple5) -> rule3))]
("rabbit" "needs" "squirrel" "-")
((triple14) -> (rule3 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
((triple5) -> (rule3 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit is green.
True
4
proof
[(((((triple14) -> rule3) triple14) -> rule1) OR ((((triple5) -> rule3) triple14) -> rule1))]
("rabbit" "is" "green" "+")
((((triple14) -> (rule3 % int2)) triple14) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
((((triple5) -> (rule3 % int2)) triple14) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The rabbit is not green.
False
4
inv-proof
[(((((triple14) -> rule3) triple14) -> rule1) OR ((((triple5) -> rule3) triple14) -> rule1))]
("rabbit" "is" "green" "-")
((((triple14) -> (rule3 % int2)) triple14) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
((((triple5) -> (rule3 % int2)) triple14) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "green" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The cat needs the squirrel.
Unknown
random
[@0: The cat needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "squirrel" "+")
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 rabbit eats the squirrel.
Unknown
random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "+")
@0: The cat is kind.[(triple1)] The cat is nice.[(triple2)] The cat is rough.[(triple3)] The cat is young.[(triple4)] The cat likes the rabbit.[(triple5)] The rabbit is rough.[(triple6)] The rabbit is young.[(triple7)] The rabbit needs the cat.[(triple8)] The squirrel eats the cat.[(triple9)] The squirrel is green.[(triple10)] The squirrel is kind.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel needs the cat.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The rabbit needs the squirrel.[(((triple14) -> rule3) OR ((triple5) -> rule3))] @2: The rabbit is green.[(((((triple14) -> rule3) triple14) -> rule1) OR ((((triple5) -> rule3) triple14) -> rule1))]
The cat is kind.
("cat" "is" "kind" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple8
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple9
The squirrel is green.
("squirrel" "is" "green" "+")
triple10
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple15
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple16
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
((triple14) -> (rule3 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
((triple5) -> (rule3 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((((triple14) -> (rule3 % int2)) triple14) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
((((triple5) -> (rule3 % int2)) triple14) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2