The bald eagle is blue. The rabbit likes the bald eagle. The rabbit visits the bald eagle. If someone is big and they eat the rabbit then they like the bald eagle. If someone eats the bald eagle then they like the bald eagle. If the rabbit likes the bald eagle then the rabbit is nice. If the bald eagle visits the rabbit and the bald eagle eats the rabbit then the bald eagle likes the rabbit. If someone is blue and they visit the rabbit then they do not like the rabbit. If someone visits the rabbit and the rabbit visits the bald eagle then they are rough. If someone eats the rabbit then the rabbit likes the bald eagle. If the bald eagle visits the rabbit and the rabbit likes the bald eagle then the bald eagle is red.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone is big and they eat the rabbit then they like the bald eagle.
((("someone" "is" "big" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone eats the bald eagle then they like the bald eagle.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "likes" "bald eagle" "+"))
If the rabbit likes the bald eagle then the rabbit is nice.
((("rabbit" "likes" "bald eagle" "+")) -> ("rabbit" "is" "nice" "+"))
If the bald eagle visits the rabbit and the bald eagle eats the rabbit then the bald eagle likes the rabbit.
((("bald eagle" "visits" "rabbit" "+") ("bald eagle" "eats" "rabbit" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If someone is blue and they visit the rabbit then they do not like the rabbit.
((("someone" "is" "blue" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "likes" "rabbit" "-"))
If someone visits the rabbit and the rabbit visits the bald eagle then they are rough.
((("someone" "visits" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If someone eats the rabbit then the rabbit likes the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If the bald eagle visits the rabbit and the rabbit likes the bald eagle then the bald eagle is red.
((("bald eagle" "visits" "rabbit" "+") ("rabbit" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
The rabbit likes the bald eagle.
True
1
proof
[(triple2)]
("rabbit" "likes" "bald eagle" "+")
triple2
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The rabbit is nice.
True
2
proof
[(((triple2) -> rule3))]
("rabbit" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple2) -> rule3))]
("rabbit" "is" "nice" "-")
((triple2) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
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 = (rule1 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is rough.
Unknown
rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "is" "rough" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
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 is blue.[(triple1)] The rabbit likes the bald eagle.[(triple2)] The rabbit visits the bald eagle.[(triple3)] @1: The rabbit is nice.[(((triple2) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple3
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple2) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1