The bald eagle is rough. The bald eagle needs the rabbit. The bald eagle visits the rabbit. The cat eats the rabbit. The cat needs the lion. The cat visits the bald eagle. The lion eats the cat. The lion is blue. The lion visits the rabbit. The rabbit eats the lion. The rabbit is blue. The rabbit is nice. The rabbit needs the bald eagle. The rabbit needs the cat. The rabbit visits the cat. The rabbit visits the lion. If someone eats the lion and the lion visits the rabbit then the rabbit is rough. If the rabbit visits the bald eagle then the bald eagle is cold. Cold people are nice. If someone needs the cat and the cat eats the rabbit then the rabbit is young. If someone visits the lion and they are cold then the lion eats the bald eagle. If someone visits the cat then the cat needs the lion. If someone visits the cat then they are nice. If someone eats the lion then the lion eats the cat.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone eats the lion and the lion visits the rabbit then the rabbit is rough.
((("someone" "eats" "lion" "+") ("lion" "visits" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
If the rabbit visits the bald eagle then the bald eagle is cold.
((("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the cat and the cat eats the rabbit then the rabbit is young.
((("someone" "needs" "cat" "+") ("cat" "eats" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If someone visits the lion and they are cold then the lion eats the bald eagle.
((("someone" "visits" "lion" "+") ("someone" "is" "cold" "+")) -> ("lion" "eats" "bald eagle" "+"))
If someone visits the cat then the cat needs the lion.
((("someone" "visits" "cat" "+")) -> ("cat" "needs" "lion" "+"))
If someone visits the cat then they are nice.
((("someone" "visits" "cat" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the lion then the lion eats the cat.
((("someone" "eats" "lion" "+")) -> ("lion" "eats" "cat" "+"))
The rabbit visits the cat.
True
1
proof
[(triple15)]
("rabbit" "visits" "cat" "+")
triple15
The rabbit does not need the cat.
False
1
inv-proof
[(triple14)]
("rabbit" "needs" "cat" "-")
triple14
The rabbit is rough.
True
3
proof
[(((triple10 triple9) -> rule1))]
("rabbit" "is" "rough" "+")
((triple10 triple9) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is not rough.
False
3
inv-proof
[(((triple10 triple9) -> rule1))]
("rabbit" "is" "rough" "-")
((triple10 triple9) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The lion does not eat the bald eagle.
Unknown
inv-rconc
[@1: The lion eats the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "eats" "bald eagle" "-")
The lion is nice.
Unknown
rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "nice" "+")
The bald eagle does not need the cat.
Unknown
inv-random
[@0: The bald eagle needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "cat" "-")
The cat needs the bald eagle.
Unknown
random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The cat eats the rabbit.[(triple4)] The cat needs the lion.[(triple5 OR ((triple15) -> rule6))] The cat visits the bald eagle.[(triple6)] The lion eats the cat.[(triple7 OR ((triple10) -> rule8))] The lion is blue.[(triple8)] The lion visits the rabbit.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is blue.[(triple11)] The rabbit is nice.[(triple12 OR ((triple15) -> rule7))] The rabbit needs the bald eagle.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit visits the cat.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The rabbit is rough.[(((triple10 triple9) -> rule1))] The rabbit is young.[(((triple14 triple4) -> rule4))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple4
The cat needs the lion.
("cat" "needs" "lion" "+")
triple5
((triple15) -> (rule6 % int1))
The cat needs the lion.
("cat" "needs" "lion" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple6
The lion eats the cat.
("lion" "eats" "cat" "+")
triple7
((triple10) -> (rule8 % int1))
The lion eats the cat.
("lion" "eats" "cat" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple9
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple11
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple12
((triple15) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple13
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple14
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple16
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple10 triple9) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple14 triple4) -> (rule4 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1