The bald eagle is red. The bald eagle needs the rabbit. The bald eagle visits the bear. The bear eats the rabbit. The bear is big. The bear is young. The bear visits the rabbit. The dog eats the bald eagle. The dog eats the bear. The dog is big. The dog is cold. The dog needs the rabbit. The dog visits the rabbit. The rabbit eats the bald eagle. The rabbit is cold. The rabbit needs the bear. If someone is big and they visit the dog then the dog is blue. If someone eats the bear then the bear needs the rabbit. If someone eats the bear and the bear needs the bald eagle then the bald eagle eats the rabbit. If someone eats the bald eagle and they need the rabbit then they eat the bear. If someone eats the bald eagle then they need the bear. If the dog visits the bear then the dog is red. If someone eats the bald eagle and the bald eagle visits the bear then the bear visits the dog. If someone is red and they visit the dog then they eat the dog.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If someone is big and they visit the dog then the dog is blue.
((("someone" "is" "big" "+") ("someone" "visits" "dog" "+")) -> ("dog" "is" "blue" "+"))
If someone eats the bear then the bear needs the rabbit.
((("someone" "eats" "bear" "+")) -> ("bear" "needs" "rabbit" "+"))
If someone eats the bear and the bear needs the bald eagle then the bald eagle eats the rabbit.
((("someone" "eats" "bear" "+") ("bear" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If someone eats the bald eagle and they need the rabbit then they eat the bear.
((("someone" "eats" "bald eagle" "+") ("someone" "needs" "rabbit" "+")) -> ("someone" "eats" "bear" "+"))
If someone eats the bald eagle then they need the bear.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "bear" "+"))
If the dog visits the bear then the dog is red.
((("dog" "visits" "bear" "+")) -> ("dog" "is" "red" "+"))
If someone eats the bald eagle and the bald eagle visits the bear then the bear visits the dog.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "visits" "bear" "+")) -> ("bear" "visits" "dog" "+"))
If someone is red and they visit the dog then they eat the dog.
((("someone" "is" "red" "+") ("someone" "visits" "dog" "+")) -> ("someone" "eats" "dog" "+"))
The bald eagle visits the bear.
True
1
proof
[(triple3)]
("bald eagle" "visits" "bear" "+")
triple3
The dog does not need the rabbit.
False
1
inv-proof
[(triple12)]
("dog" "needs" "rabbit" "-")
triple12
The dog needs the bear.
True
2
proof
[(((triple8) -> rule5))]
("dog" "needs" "bear" "+")
((triple8) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog does not need the bear.
False
2
inv-proof
[(((triple8) -> rule5))]
("dog" "needs" "bear" "-")
((triple8) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The bald eagle does not need the bear.
Unknown
inv-rconc
[@1: The bald eagle needs the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "bear" "-")
The bear needs the bear.
Unknown
rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "needs" "bear" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit visits the bear.
Unknown
random
[@0: The rabbit visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "bear" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear eats the rabbit.[(triple4)] The bear is big.[(triple5)] The bear is young.[(triple6)] The bear visits the rabbit.[(triple7)] The dog eats the bald eagle.[(triple8)] The dog eats the bear.[(triple9 OR ((triple8 triple12) -> rule4))] The dog is big.[(triple10)] The dog is cold.[(triple11)] The dog needs the rabbit.[(triple12)] The dog visits the rabbit.[(triple13)] The rabbit eats the bald eagle.[(triple14)] The rabbit is cold.[(triple15)] The rabbit needs the bear.[(triple16 OR ((triple14) -> rule5))] @1: The bear needs the rabbit.[(((triple9) -> rule2) OR ((((triple8 triple12) -> rule4)) -> rule2))] The bear visits the dog.[(((triple14 triple3) -> rule7) OR ((triple8 triple3) -> rule7))] The dog needs the bear.[(((triple8) -> rule5))] @2: The dog is blue.[(((triple5 ((triple14 triple3) -> rule7)) -> rule1) OR ((triple5 ((triple8 triple3) -> rule7)) -> rule1))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple4
The bear is big.
("bear" "is" "big" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple7
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple8
The dog eats the bear.
("dog" "eats" "bear" "+")
triple9
((triple8 triple12) -> (rule4 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog is big.
("dog" "is" "big" "+")
triple10
The dog is cold.
("dog" "is" "cold" "+")
triple11
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple12
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple13
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple14
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple15
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple16
((triple14) -> (rule5 % int1))
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
int1
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
((triple9) -> (rule2 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
((((triple8 triple12) -> (rule4 % int2))) -> (rule2 % int1))
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple14 triple3) -> (rule7 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
((triple8 triple3) -> (rule7 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
((triple8) -> (rule5 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((triple5 ((triple14 triple3) -> (rule7 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
((triple5 ((triple8 triple3) -> (rule7 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2