The cat does not eat the rabbit. The cat is green. The cat is nice. The cat is not rough. The cat is round. The cat is young. The cat needs the rabbit. The cat visits the rabbit. The rabbit eats the cat. The rabbit is green. The rabbit is nice. The rabbit is not rough. The rabbit is young. The rabbit needs the cat. The rabbit visits the cat. If someone is rough then they eat the rabbit. If the cat is green then the cat visits the rabbit. If someone eats the rabbit and they need the cat then the cat needs the rabbit. If someone eats the rabbit and the rabbit needs the cat then the rabbit eats the cat. If someone is nice and they need the cat then they visit the cat. If someone visits the rabbit and they do not eat the rabbit then they need the cat. If someone visits the cat and the cat eats the rabbit then they visit the rabbit. If someone visits the cat then they visit the rabbit.
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If someone is rough then they eat the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "rabbit" "+"))
If the cat is green then the cat visits the rabbit.
((("cat" "is" "green" "+")) -> ("cat" "visits" "rabbit" "+"))
If someone eats the rabbit and they need the cat then the cat needs the rabbit.
((("someone" "eats" "rabbit" "+") ("someone" "needs" "cat" "+")) -> ("cat" "needs" "rabbit" "+"))
If someone eats the rabbit and the rabbit needs the cat then the rabbit eats the cat.
((("someone" "eats" "rabbit" "+") ("rabbit" "needs" "cat" "+")) -> ("rabbit" "eats" "cat" "+"))
If someone is nice and they need the cat then they visit the cat.
((("someone" "is" "nice" "+") ("someone" "needs" "cat" "+")) -> ("someone" "visits" "cat" "+"))
If someone visits the rabbit and they do not eat the rabbit then they need the cat.
((("someone" "visits" "rabbit" "+") ("someone" "eats" "rabbit" "~")) -> ("someone" "needs" "cat" "+"))
If someone visits the cat and the cat eats the rabbit then they visit the rabbit.
((("someone" "visits" "cat" "+") ("cat" "eats" "rabbit" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the cat then they visit the rabbit.
((("someone" "visits" "cat" "+")) -> ("someone" "visits" "rabbit" "+"))
The cat is young.
True
1
proof
[(triple6)]
("cat" "is" "young" "+")
triple6
The cat eats the rabbit.
False
1
inv-proof
[(triple1)]
("cat" "eats" "rabbit" "+")
triple1
The rabbit visits the rabbit.
True
2
proof
[(((triple15) -> rule8) OR ((((triple11 triple14) -> rule5)) -> rule8))]
("rabbit" "visits" "rabbit" "+")
((triple15) -> (rule8 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
((((triple11 triple14) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The cat does not need the cat.
False
3
inv-proof
[(((triple8 triple1) -> rule6) OR ((((triple2) -> rule2) triple1) -> rule6))]
("cat" "needs" "cat" "-")
((triple8 triple1) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
((((triple2) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The cat visits the cat.
True
5
proof
[(((triple3 ((triple8 triple1) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule2) triple1) -> rule6)) -> rule5))]
("cat" "visits" "cat" "+")
((triple3 ((triple8 triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
((triple3 ((((triple2) -> (rule2 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int3
The cat does not visit the cat.
False
5
inv-proof
[(((triple3 ((triple8 triple1) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule2) triple1) -> rule6)) -> rule5))]
("cat" "visits" "cat" "-")
((triple3 ((triple8 triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
((triple3 ((((triple2) -> (rule2 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int3
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The cat does not eat the rabbit.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is not rough.[(triple4)] The cat is round.[(triple5)] The cat is young.[(triple6)] The cat needs the rabbit.[(triple7)] The cat visits the rabbit.[(triple8 OR ((triple2) -> rule2))] The rabbit eats the cat.[(triple9)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is not rough.[(triple12)] The rabbit is young.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit visits the cat.[(triple15 OR ((triple11 triple14) -> rule5))] @1: The cat needs the cat.[(((triple8 triple1) -> rule6) OR ((((triple2) -> rule2) triple1) -> rule6))] The rabbit visits the rabbit.[(((triple15) -> rule8) OR ((((triple11 triple14) -> rule5)) -> rule8))] @2: The cat visits the cat.[(((triple3 ((triple8 triple1) -> rule6)) -> rule5) OR ((triple3 ((((triple2) -> rule2) triple1) -> rule6)) -> rule5))]
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat is not rough.
("cat" "is" "rough" "-")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat is young.
("cat" "is" "young" "+")
triple6
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple7
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple8
((triple2) -> (rule2 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
((triple11 triple14) -> (rule5 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple8 triple1) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
((((triple2) -> (rule2 % int2)) triple1) -> (rule6 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple15) -> (rule8 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
((((triple11 triple14) -> (rule5 % int2))) -> (rule8 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple3 ((triple8 triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
((triple3 ((((triple2) -> (rule2 % int3)) triple1) -> (rule6 % int2))) -> (rule5 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int3