The bald eagle chases the tiger. The bald eagle is young. The bald eagle does not like the squirrel. The bald eagle likes the tiger. The bald eagle does not see the tiger. The squirrel chases the bald eagle. The squirrel chases the tiger. The squirrel is blue. The squirrel is red. The squirrel is round. The squirrel likes the bald eagle. The tiger is blue. The tiger is red. The tiger is not round. The tiger likes the bald eagle. If someone sees the tiger then the tiger chases the squirrel. If someone sees the bald eagle then the bald eagle is young. If the squirrel is young then the squirrel does not see the tiger. If someone is round and red then they chase the bald eagle. If someone is round and they do not chase the tiger then they are red. If someone likes the bald eagle then they are young.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not like the squirrel.
("bald eagle" "likes" "squirrel" "-")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
If someone sees the tiger then the tiger chases the squirrel.
((("someone" "sees" "tiger" "+")) -> ("tiger" "chases" "squirrel" "+"))
If someone sees the bald eagle then the bald eagle is young.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "is" "young" "+"))
If the squirrel is young then the squirrel does not see the tiger.
((("squirrel" "is" "young" "+")) -> ("squirrel" "sees" "tiger" "-"))
If someone is round and red then they chase the bald eagle.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is round and they do not chase the tiger then they are red.
((("someone" "is" "round" "+") ("someone" "chases" "tiger" "~")) -> ("someone" "is" "red" "+"))
If someone likes the bald eagle then they are young.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
The bald eagle is young.
True
1
proof
[(triple2)]
("bald eagle" "is" "young" "+")
triple2
The bald eagle sees the tiger.
False
1
inv-proof
[(triple5)]
("bald eagle" "sees" "tiger" "+")
triple5
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "red" "-")
The tiger sees the squirrel.
Unknown
random
[@0: The tiger sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "squirrel" "+")
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not like the squirrel.[(triple3)] The bald eagle does not see the tiger.[(triple5)] The bald eagle is young.[(triple2)] The bald eagle likes the tiger.[(triple4)] The squirrel chases the bald eagle.[(triple6 OR ((triple10 triple9) -> rule4))] The squirrel chases the tiger.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is red.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the bald eagle.[(triple11)] The tiger is blue.[(triple12)] The tiger is not round.[(triple14)] The tiger is red.[(triple13)] The tiger likes the bald eagle.[(triple15)] @1: The squirrel is young.[(((triple11) -> rule6))] The tiger is young.[(((triple15) -> rule6))] @2: The squirrel does not see the tiger.[(((((triple11) -> rule6)) -> rule3))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle does not like the squirrel.
("bald eagle" "likes" "squirrel" "-")
triple3
The bald eagle does not see the tiger.
("bald eagle" "sees" "tiger" "-")
triple5
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple6
((triple10 triple9) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is red.
("squirrel" "is" "red" "+")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is not round.
("tiger" "is" "round" "-")
triple14
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The squirrel is young.
("squirrel" "is" "young" "+")
((triple11) -> (rule6 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((triple15) -> (rule6 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
((((triple11) -> (rule6 % int2))) -> (rule3 % int1))
The squirrel does not see the tiger.
("squirrel" "sees" "tiger" "-")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2