The bald eagle chases the rabbit. The bald eagle likes the rabbit. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit is red. The rabbit is round. The rabbit likes the bald eagle. If someone eats the bald eagle then they chase the rabbit. If someone likes the rabbit then the rabbit likes the bald eagle. If someone eats the rabbit then they like the rabbit. If someone eats the bald eagle and they chase the bald eagle then the bald eagle chases the rabbit. If someone eats the bald eagle then the bald eagle eats the rabbit. If someone is blue and green then they like the bald eagle. If someone likes the bald eagle and the bald eagle likes the rabbit then they chase the rabbit. If someone likes the rabbit and the rabbit is round then the rabbit is green.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If someone eats the bald eagle then they chase the rabbit.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone likes the rabbit then the rabbit likes the bald eagle.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "bald eagle" "+"))
If someone eats the rabbit then they like the rabbit.
((("someone" "eats" "rabbit" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone eats the bald eagle and they chase the bald eagle then the bald eagle chases the rabbit.
((("someone" "eats" "bald eagle" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "rabbit" "+"))
If someone eats the bald eagle then the bald eagle eats the rabbit.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
If someone is blue and green then they like the bald eagle.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone likes the bald eagle and the bald eagle likes the rabbit then they chase the rabbit.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone likes the rabbit and the rabbit is round then the rabbit is green.
((("someone" "likes" "rabbit" "+") ("rabbit" "is" "round" "+")) -> ("rabbit" "is" "green" "+"))
The bald eagle chases the rabbit.
True
1
proof
[(triple1 OR ((triple4 triple3) -> rule4))]
("bald eagle" "chases" "rabbit" "+")
triple1
((triple4 triple3) -> (rule4 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle does not like the rabbit.
False
1
inv-proof
[(triple2 OR ((((triple4) -> rule5)) -> rule3))]
("bald eagle" "likes" "rabbit" "-")
triple2
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1 OR ((triple4 triple3) -> rule4))] The bald eagle likes the rabbit.[(triple2 OR ((((triple4) -> rule5)) -> rule3))] The rabbit chases the bald eagle.[(triple3)] The rabbit eats the bald eagle.[(triple4)] The rabbit is red.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the bald eagle.[(triple7 OR ((triple2) -> rule2) OR ((((((triple4) -> rule5)) -> rule3)) -> rule2))] @1: The bald eagle eats the rabbit.[(((triple4) -> rule5))] The rabbit chases the rabbit.[(((triple4) -> rule1) OR ((triple7 triple2) -> rule7) OR ((((triple2) -> rule2) triple2) -> rule7) OR ((triple7 ((((triple4) -> rule5)) -> rule3)) -> rule7) OR ((((triple2) -> rule2) ((((triple4) -> rule5)) -> rule3)) -> rule7) OR ((((((((triple4) -> rule5)) -> rule3)) -> rule2) triple2) -> rule7) OR ((((((((triple4) -> rule5)) -> rule3)) -> rule2) ((((triple4) -> rule5)) -> rule3)) -> rule7))] The rabbit is green.[(((triple2 triple6) -> rule8) OR ((((((triple4) -> rule5)) -> rule3) triple6) -> rule8))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
((triple4 triple3) -> (rule4 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple3
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is round.
("rabbit" "is" "round" "+")
triple6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple7
((triple2) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
((((((triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((triple4) -> (rule5 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple4) -> (rule1 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
((triple7 triple2) -> (rule7 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
((((triple2) -> (rule2 % int2)) triple2) -> (rule7 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
((triple7 ((((triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
((((triple2) -> (rule2 % int4)) ((((triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int4
((((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple2) -> (rule7 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
((((((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule7 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
int2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int4
The rabbit is green.
("rabbit" "is" "green" "+")
((triple2 triple6) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
((((((triple4) -> (rule5 % int3))) -> (rule3 % int2)) triple6) -> (rule8 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int3