The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle is rough. The bald eagle is round. The bear eats the cat. The bear eats the rabbit. The bear is green. The bear visits the bald eagle. The cat chases the rabbit. The cat visits the bear. The rabbit chases the bear. The rabbit chases the cat. The rabbit eats the bald eagle. The rabbit is red. The rabbit is rough. The rabbit visits the cat. All round things are rough. If something eats the bald eagle and the bald eagle chases the bear then the bear chases the rabbit. If the bald eagle chases the bear then the bear eats the bald eagle. If the bear chases the cat and the cat chases the bear then the cat eats the rabbit. If something is round and green then it chases the bald eagle. If something chases the rabbit and the rabbit chases the bear then the rabbit is young.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
All round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something eats the bald eagle and the bald eagle chases the bear then the bear chases the rabbit.
((("something" "eats" "bald eagle" "+") ("bald eagle" "chases" "bear" "+")) -> ("bear" "chases" "rabbit" "+"))
If the bald eagle chases the bear then the bear eats the bald eagle.
((("bald eagle" "chases" "bear" "+")) -> ("bear" "eats" "bald eagle" "+"))
If the bear chases the cat and the cat chases the bear then the cat eats the rabbit.
((("bear" "chases" "cat" "+") ("cat" "chases" "bear" "+")) -> ("cat" "eats" "rabbit" "+"))
If something is round and green then it chases the bald eagle.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "chases" "bald eagle" "+"))
If something chases the rabbit and the rabbit chases the bear then the rabbit is young.
((("something" "chases" "rabbit" "+") ("rabbit" "chases" "bear" "+")) -> ("rabbit" "is" "young" "+"))
The cat visits the bear.
True
1
proof
[(triple10)]
("cat" "visits" "bear" "+")
triple10
The rabbit is not rough.
False
1
inv-proof
[(triple15)]
("rabbit" "is" "rough" "-")
triple15
The bear does not chase the bald eagle.
Unknown
inv-rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "chases" "bald eagle" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle is rough.[(triple3 OR ((triple4) -> rule1))] The bald eagle is round.[(triple4)] The bear eats the cat.[(triple5)] The bear eats the rabbit.[(triple6)] The bear is green.[(triple7)] The bear visits the bald eagle.[(triple8)] The cat chases the rabbit.[(triple9)] The cat visits the bear.[(triple10)] The rabbit chases the bear.[(triple11)] The rabbit chases the cat.[(triple12)] The rabbit eats the bald eagle.[(triple13)] The rabbit is red.[(triple14)] The rabbit is rough.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The bear chases the rabbit.[(((triple13 triple1) -> rule2) OR ((((triple1) -> rule3) triple1) -> rule2))] The bear eats the bald eagle.[(((triple1) -> rule3))] The rabbit is young.[(((triple9 triple11) -> rule6) OR ((((triple13 triple1) -> rule2) triple11) -> rule6) OR ((((((triple1) -> rule3) triple1) -> rule2) triple11) -> rule6))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
((triple4) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
triple5
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple6
The bear is green.
("bear" "is" "green" "+")
triple7
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple8
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple11
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple12
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple13
The rabbit is red.
("rabbit" "is" "red" "+")
triple14
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple15
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple16
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
((triple13 triple1) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
((((triple1) -> (rule3 % int2)) triple1) -> (rule2 % int1))
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int1
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
((triple1) -> (rule3 % int1))
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple9 triple11) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((((triple13 triple1) -> (rule2 % int2)) triple11) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
((((((triple1) -> (rule3 % int3)) triple1) -> (rule2 % int2)) triple11) -> (rule6 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
int2
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
int3