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