The bald eagle is green. The bald eagle is rough. The bald eagle likes the cat. The cat is green. The cat is round. The cat likes the bald eagle. The cat likes the rabbit. The rabbit is nice. The rabbit likes the bald eagle. The rabbit needs the cat. If someone likes the rabbit and they are round then the rabbit is round. If someone visits the cat and the cat needs the bald eagle then they like the bald eagle. If the bald eagle does not visit the rabbit then the bald eagle visits the cat. If someone likes the rabbit and the rabbit visits the cat then the cat needs the rabbit. If someone likes the cat then they are big. If someone likes the bald eagle and they are round then they visit the cat. If someone is nice and they need the cat then they do not like the rabbit. If someone visits the rabbit then the rabbit does not like the cat.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If someone likes the rabbit and they are round then the rabbit is round.
((("someone" "likes" "rabbit" "+") ("someone" "is" "round" "+")) -> ("rabbit" "is" "round" "+"))
If someone visits the cat and the cat needs the bald eagle then they like the bald eagle.
((("someone" "visits" "cat" "+") ("cat" "needs" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the bald eagle does not visit the rabbit then the bald eagle visits the cat.
((("bald eagle" "visits" "rabbit" "~")) -> ("bald eagle" "visits" "cat" "+"))
If someone likes the rabbit and the rabbit visits the cat then the cat needs the rabbit.
((("someone" "likes" "rabbit" "+") ("rabbit" "visits" "cat" "+")) -> ("cat" "needs" "rabbit" "+"))
If someone likes the cat then they are big.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "big" "+"))
If someone likes the bald eagle and they are round then they visit the cat.
((("someone" "likes" "bald eagle" "+") ("someone" "is" "round" "+")) -> ("someone" "visits" "cat" "+"))
If someone is nice and they need the cat then they do not like the rabbit.
((("someone" "is" "nice" "+") ("someone" "needs" "cat" "+")) -> ("someone" "likes" "rabbit" "-"))
If someone visits the rabbit then the rabbit does not like the cat.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "likes" "cat" "-"))
The cat is green.
True
1
proof
[(triple4)]
("cat" "is" "green" "+")
triple4
The cat does not like the rabbit.
False
1
inv-proof
[(triple7)]
("cat" "likes" "rabbit" "-")
triple7
The rabbit is round.
True
3
proof
[(((triple7 triple5) -> rule1))]
("rabbit" "is" "round" "+")
((triple7 triple5) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The bald eagle is not big.
False
2
inv-proof
[(((triple3) -> rule5))]
("bald eagle" "is" "big" "-")
((triple3) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The rabbit visits the cat.
True
5
proof
[(((triple9 ((triple7 triple5) -> rule1)) -> rule6))]
("rabbit" "visits" "cat" "+")
((triple9 ((triple7 triple5) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit does not visit the cat.
False
5
inv-proof
[(((triple9 ((triple7 triple5) -> rule1)) -> rule6))]
("rabbit" "visits" "cat" "-")
((triple9 ((triple7 triple5) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The cat needs the rabbit.
True
7
proof
[(((triple7 ((triple9 ((triple7 triple5) -> rule1)) -> rule6)) -> rule4))]
("cat" "needs" "rabbit" "+")
((triple7 ((triple9 ((triple7 triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The cat does not need the rabbit.
False
7
inv-proof
[(((triple7 ((triple9 ((triple7 triple5) -> rule1)) -> rule6)) -> rule4))]
("cat" "needs" "rabbit" "-")
((triple7 ((triple9 ((triple7 triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The rabbit is big.
Unknown
rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "big" "+")
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "big" "-")
The bald eagle visits the cat.
Unknown
rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "cat" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat visits the rabbit.
Unknown
random
[@0: The cat visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "rabbit" "+")
The rabbit does not need the bald eagle.
Unknown
inv-random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The cat visits the bald eagle.
Unknown
random
[@0: The cat visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cat.[(triple3)] The cat is green.[(triple4)] The cat is round.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat likes the rabbit.[(triple7)] The rabbit is nice.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit needs the cat.[(triple10)] @1: The bald eagle is big.[(((triple3) -> rule5))] The cat visits the cat.[(((triple6 triple5) -> rule6))] The rabbit does not like the rabbit.[(((triple8 triple10) -> rule7))] The rabbit is round.[(((triple7 triple5) -> rule1))] @2: The rabbit visits the cat.[(((triple9 ((triple7 triple5) -> rule1)) -> rule6))] @3: The cat needs the rabbit.[(((triple7 ((triple9 ((triple7 triple5) -> rule1)) -> rule6)) -> rule4))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple6
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple9
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple10
The bald eagle is big.
("bald eagle" "is" "big" "+")
((triple3) -> (rule5 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
((triple6 triple5) -> (rule6 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
((triple8 triple10) -> (rule7 % int1))
The rabbit does not like the rabbit.
("rabbit" "likes" "rabbit" "-")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple7 triple5) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
((triple9 ((triple7 triple5) -> (rule1 % int2))) -> (rule6 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
((triple7 ((triple9 ((triple7 triple5) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3