The bald eagle eats the rabbit. The bald eagle is cold. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle likes the cow. The bald eagle visits the rabbit. The cow is nice. The cow likes the bald eagle. The cow visits the bald eagle. The cow visits the rabbit. The rabbit eats the bald eagle. The rabbit is nice. The rabbit likes the cow. The rabbit visits the cow. Cold, rough things are kind. If something eats the bald eagle then it likes the rabbit. If something visits the bald eagle and the bald eagle is round then the bald eagle is rough. If the bald eagle is cold and the bald eagle eats the cow then the bald eagle eats the rabbit. If something is rough and it visits the bald eagle then the bald eagle eats the rabbit. All kind things are round.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
Cold, rough things are kind.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something eats the bald eagle then it likes the rabbit.
((("something" "eats" "bald eagle" "+")) -> ("something" "likes" "rabbit" "+"))
If something visits the bald eagle and the bald eagle is round then the bald eagle is rough.
((("something" "visits" "bald eagle" "+") ("bald eagle" "is" "round" "+")) -> ("bald eagle" "is" "rough" "+"))
If the bald eagle is cold and the bald eagle eats the cow then the bald eagle eats the rabbit.
((("bald eagle" "is" "cold" "+") ("bald eagle" "eats" "cow" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If something is rough and it visits the bald eagle then the bald eagle eats the rabbit.
((("something" "is" "rough" "+") ("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
All kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
The cow likes the bald eagle.
True
1
proof
[(triple9)]
("cow" "likes" "bald eagle" "+")
triple9
The bald eagle is not nice.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "nice" "-")
triple3
The bald eagle is kind.
True
3
proof
[(((triple2 triple4) -> rule1) OR ((triple2 ((triple10 triple5) -> rule3)) -> rule1))]
("bald eagle" "is" "kind" "+")
((triple2 triple4) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((triple2 ((triple10 triple5) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The rabbit does not like the rabbit.
False
2
inv-proof
[(((triple12) -> rule2))]
("rabbit" "likes" "rabbit" "-")
((triple12) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "kind" "-")
The rabbit is round.
Unknown
rconc
[@2: The rabbit is round.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("rabbit" "is" "round" "+")
The bald eagle does not eat the cow.
Unknown
inv-random
[@0: The bald eagle eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cow" "-")
The cow eats the rabbit.
Unknown
random
[@0: The cow eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "rabbit" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple10 triple5) -> rule3))] The bald eagle is round.[(triple5 OR ((((triple2 triple4) -> rule1)) -> rule6))] The bald eagle likes the cow.[(triple6)] The bald eagle visits the rabbit.[(triple7)] The cow is nice.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow visits the bald eagle.[(triple10)] The cow visits the rabbit.[(triple11)] The rabbit eats the bald eagle.[(triple12)] The rabbit is nice.[(triple13)] The rabbit likes the cow.[(triple14)] The rabbit visits the cow.[(triple15)] @1: The bald eagle is kind.[(((triple2 triple4) -> rule1) OR ((triple2 ((triple10 triple5) -> rule3)) -> rule1))] The rabbit likes the rabbit.[(((triple12) -> rule2))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
((triple10 triple5) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple5
((((triple2 triple4) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple6
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple7
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
triple10
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple11
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple14
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple15
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple2 triple4) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
((triple2 ((triple10 triple5) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple12) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1