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