The bald eagle chases the cat. The bald eagle is kind. The bald eagle is young. The bald eagle sees the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is kind. If the bald eagle chases the cat then the bald eagle sees the cat. If something is blue then it sees the bald eagle. If something chases the cat and it sees the cat then the cat chases the bald eagle. If something is big and it eats the cat then the cat chases the bald eagle. If something is cold and it chases the cat then the cat chases the bald eagle. If something chases the cat and the cat chases the bald eagle then it eats the bald eagle. If something eats the bald eagle and it chases the cat then the bald eagle is blue. If something sees the bald eagle then the bald eagle eats the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is kind.
("cat" "is" "kind" "+")
If the bald eagle chases the cat then the bald eagle sees the cat.
((("bald eagle" "chases" "cat" "+")) -> ("bald eagle" "sees" "cat" "+"))
If something is blue then it sees the bald eagle.
((("something" "is" "blue" "+")) -> ("something" "sees" "bald eagle" "+"))
If something chases the cat and it sees the cat then the cat chases the bald eagle.
((("something" "chases" "cat" "+") ("something" "sees" "cat" "+")) -> ("cat" "chases" "bald eagle" "+"))
If something is big and it eats the cat then the cat chases the bald eagle.
((("something" "is" "big" "+") ("something" "eats" "cat" "+")) -> ("cat" "chases" "bald eagle" "+"))
If something is cold and it chases the cat then the cat chases the bald eagle.
((("something" "is" "cold" "+") ("something" "chases" "cat" "+")) -> ("cat" "chases" "bald eagle" "+"))
If something chases the cat and the cat chases the bald eagle then it eats the bald eagle.
((("something" "chases" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the bald eagle and it chases the cat then the bald eagle is blue.
((("something" "eats" "bald eagle" "+") ("something" "chases" "cat" "+")) -> ("bald eagle" "is" "blue" "+"))
If something sees the bald eagle then the bald eagle eats the cat.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
The bald eagle is kind.
True
1
proof
[(triple2)]
("bald eagle" "is" "kind" "+")
triple2
The cat does not eat the bald eagle.
False
1
inv-proof
[(triple6)]
("cat" "eats" "bald eagle" "-")
triple6
The bald eagle eats the bald eagle.
True
3
proof
[(((triple1 triple5) -> rule6) OR ((triple1 ((triple1 triple4) -> rule3)) -> rule6) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule6))]
("bald eagle" "eats" "bald eagle" "+")
((triple1 triple5) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((triple1 ((triple1 triple4) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int3
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((triple1 triple5) -> rule6) OR ((triple1 ((triple1 triple4) -> rule3)) -> rule6) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule6))]
("bald eagle" "eats" "bald eagle" "-")
((triple1 triple5) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((triple1 ((triple1 triple4) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int3
The cat does not see the bald eagle.
Unknown
inv-rconc
[@1: The cat sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "bald eagle" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the cat.[(triple4 OR ((triple1) -> rule1))] The cat chases the bald eagle.[(triple5 OR ((triple1 triple4) -> rule3) OR ((triple1 ((triple1) -> rule1)) -> rule3))] The cat eats the bald eagle.[(triple6)] The cat is kind.[(triple7)] @1: The bald eagle eats the bald eagle.[(((triple1 triple5) -> rule6) OR ((triple1 ((triple1 triple4) -> rule3)) -> rule6) OR ((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule6))] @2: The bald eagle is blue.[(((((triple1 triple5) -> rule6) triple1) -> rule7) OR ((((triple1 ((triple1 triple4) -> rule3)) -> rule6) triple1) -> rule7) OR ((((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7))] @3: The bald eagle sees the bald eagle.[(((((((triple1 triple5) -> rule6) triple1) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 triple4) -> rule3)) -> rule6) triple1) -> rule7)) -> rule2) OR ((((((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule2))] @4: The bald eagle eats the cat.[(((((((((triple1 triple5) -> rule6) triple1) -> rule7)) -> rule2)) -> rule8) OR ((((((((triple1 ((triple1 triple4) -> rule3)) -> rule6) triple1) -> rule7)) -> rule2)) -> rule8) OR ((((((((triple1 ((triple1 ((triple1) -> rule1)) -> rule3)) -> rule6) triple1) -> rule7)) -> rule2)) -> rule8))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
((triple1) -> (rule1 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
((triple1 triple4) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat is kind.
("cat" "is" "kind" "+")
triple7
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple1 triple5) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
((triple1 ((triple1 triple4) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
((triple1 ((triple1 ((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int3
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((triple1 triple5) -> (rule6 % int2)) triple1) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
((((triple1 ((triple1 triple4) -> (rule3 % int3))) -> (rule6 % int2)) triple1) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
((((triple1 ((triple1 ((triple1) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple1) -> (rule7 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int4
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((triple1 triple5) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
((((((triple1 ((triple1 triple4) -> (rule3 % int4))) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int4
((((((triple1 ((triple1 ((triple1) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int5
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
((((((((triple1 triple5) -> (rule6 % int4)) triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
((((((((triple1 ((triple1 triple4) -> (rule3 % int5))) -> (rule6 % int4)) triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int5
((((((((triple1 ((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule6 % int4)) triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int3
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int5
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int6