The bald eagle likes the rabbit. The rabbit chases the tiger. The squirrel chases the bald eagle. The tiger visits the rabbit. If the tiger likes the rabbit then the tiger is blue. If someone is big and they like the squirrel then they chase the rabbit. If someone is blue then they visit the rabbit. If someone is blue then they like the rabbit. If the rabbit chases the tiger then the rabbit is blue. If someone likes the squirrel then they chase the squirrel.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If the tiger likes the rabbit then the tiger is blue.
((("tiger" "likes" "rabbit" "+")) -> ("tiger" "is" "blue" "+"))
If someone is big and they like the squirrel then they chase the rabbit.
((("someone" "is" "big" "+") ("someone" "likes" "squirrel" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is blue then they visit the rabbit.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone is blue then they like the rabbit.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "rabbit" "+"))
If the rabbit chases the tiger then the rabbit is blue.
((("rabbit" "chases" "tiger" "+")) -> ("rabbit" "is" "blue" "+"))
If someone likes the squirrel then they chase the squirrel.
((("someone" "likes" "squirrel" "+")) -> ("someone" "chases" "squirrel" "+"))
The squirrel chases the bald eagle.
True
1
proof
[(triple3)]
("squirrel" "chases" "bald eagle" "+")
triple3
The bald eagle does not like the rabbit.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "rabbit" "-")
triple1
The rabbit is blue.
True
2
proof
[(((triple2) -> rule5))]
("rabbit" "is" "blue" "+")
((triple2) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is not blue.
False
2
inv-proof
[(((triple2) -> rule5))]
("rabbit" "is" "blue" "-")
((triple2) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit visits the rabbit.
True
3
proof
[(((((triple2) -> rule5)) -> rule3))]
("rabbit" "visits" "rabbit" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit does not like the rabbit.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule4))]
("rabbit" "likes" "rabbit" "-")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The bald eagle does not visit the rabbit.
Unknown
inv-rconc
[@1: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "rabbit" "-")
The squirrel likes the rabbit.
Unknown
rconc
[@1: The squirrel likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "likes" "rabbit" "+")
The tiger does not like the rabbit.
Unknown
inv-rconc
[@2: The tiger likes the rabbit.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("tiger" "likes" "rabbit" "-")
The squirrel likes the squirrel.
Unknown
random
[@0: The squirrel likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "squirrel" "+")
The rabbit does not visit the squirrel.
Unknown
inv-random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The rabbit chases the tiger.[(triple2)] The squirrel chases the bald eagle.[(triple3)] The tiger visits the rabbit.[(triple4)] @1: The rabbit is blue.[(((triple2) -> rule5))] @2: The rabbit likes the rabbit.[(((((triple2) -> rule5)) -> rule4))] The rabbit visits the rabbit.[(((((triple2) -> rule5)) -> rule3))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple3
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple2) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((triple2) -> (rule5 % int2))) -> (rule3 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2