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