The bald eagle does not chase the rabbit. The bald eagle does not chase the squirrel. The bald eagle is young. The bald eagle visits the squirrel. The rabbit does not chase the bald eagle. The rabbit is blue. The rabbit is not cold. The rabbit is red. The rabbit needs the squirrel. The rabbit does not visit the squirrel. The squirrel chases the bald eagle. The squirrel chases the rabbit. The squirrel is not blue. The squirrel is cold. The squirrel does not need the bald eagle. If something visits the squirrel and the squirrel chases the bald eagle then the squirrel is young. If something needs the squirrel then the squirrel chases the bald eagle. If something needs the bald eagle and it chases the rabbit then the rabbit needs the squirrel. If the squirrel is red then the squirrel is round. If something needs the bald eagle then the bald eagle chases the rabbit. If the squirrel is young then the squirrel does not visit the bald eagle. If something chases the squirrel then it is round. If something is young and it does not chase the bald eagle then it is round.
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit does not visit the squirrel.
("rabbit" "visits" "squirrel" "-")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
If something visits the squirrel and the squirrel chases the bald eagle then the squirrel is young.
((("something" "visits" "squirrel" "+") ("squirrel" "chases" "bald eagle" "+")) -> ("squirrel" "is" "young" "+"))
If something needs the squirrel then the squirrel chases the bald eagle.
((("something" "needs" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If something needs the bald eagle and it chases the rabbit then the rabbit needs the squirrel.
((("something" "needs" "bald eagle" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "+"))
If the squirrel is red then the squirrel is round.
((("squirrel" "is" "red" "+")) -> ("squirrel" "is" "round" "+"))
If something needs the bald eagle then the bald eagle chases the rabbit.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If the squirrel is young then the squirrel does not visit the bald eagle.
((("squirrel" "is" "young" "+")) -> ("squirrel" "visits" "bald eagle" "-"))
If something chases the squirrel then it is round.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "round" "+"))
If something is young and it does not chase the bald eagle then it is round.
((("something" "is" "young" "+") ("something" "chases" "bald eagle" "~")) -> ("something" "is" "round" "+"))
The squirrel chases the rabbit.
True
1
proof
[(triple12)]
("squirrel" "chases" "rabbit" "+")
triple12
The bald eagle does not visit the squirrel.
False
1
inv-proof
[(triple4)]
("bald eagle" "visits" "squirrel" "-")
triple4
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "round" "-")
The rabbit needs the bald eagle.
Unknown
random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "+")
@0: The bald eagle does not chase the rabbit.[(triple1)] The bald eagle does not chase the squirrel.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The rabbit does not chase the bald eagle.[(triple5)] The rabbit does not visit the squirrel.[(triple10)] The rabbit is blue.[(triple6)] The rabbit is not cold.[(triple7)] The rabbit is red.[(triple8)] The rabbit needs the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple11 OR ((triple9) -> rule2))] The squirrel chases the rabbit.[(triple12)] The squirrel does not need the bald eagle.[(triple15)] The squirrel is cold.[(triple14)] The squirrel is not blue.[(triple13)] @1: The squirrel is young.[(((triple4 triple11) -> rule1) OR ((triple4 ((triple9) -> rule2)) -> rule1))] @2: The squirrel does not visit the bald eagle.[(((((triple4 triple11) -> rule1)) -> rule6) OR ((((triple4 ((triple9) -> rule2)) -> rule1)) -> rule6))]
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
triple1
The bald eagle does not chase the squirrel.
("bald eagle" "chases" "squirrel" "-")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple4
The rabbit does not chase the bald eagle.
("rabbit" "chases" "bald eagle" "-")
triple5
The rabbit does not visit the squirrel.
("rabbit" "visits" "squirrel" "-")
triple10
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple9
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple11
((triple9) -> (rule2 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple12
The squirrel does not need the bald eagle.
("squirrel" "needs" "bald eagle" "-")
triple15
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple14
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
((triple4 triple11) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
((triple4 ((triple9) -> (rule2 % int2))) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
((((triple4 triple11) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
((((triple4 ((triple9) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The squirrel does not visit the bald eagle.
("squirrel" "visits" "bald eagle" "-")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int3