The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is blue. The bald eagle is red. The bald eagle sees the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is blue. The cat is green. The cat is red. The cat is round. The cat sees the bald eagle. If something chases the cat then it is green. If something is round and it eats the cat then it sees the cat. If something is round and it sees the cat then it is young. If something chases the bald eagle and the bald eagle sees the cat then the bald eagle eats the cat. If something is green and it chases the bald eagle then it eats the cat. If something is blue then it chases the cat. If something chases the bald eagle and the bald eagle eats the cat then the bald eagle sees the cat. If something is round and it eats the bald eagle then it is red.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
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 blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
If something chases the cat then it is green.
((("something" "chases" "cat" "+")) -> ("something" "is" "green" "+"))
If something is round and it eats the cat then it sees the cat.
((("something" "is" "round" "+") ("something" "eats" "cat" "+")) -> ("something" "sees" "cat" "+"))
If something is round and it sees the cat then it is young.
((("something" "is" "round" "+") ("something" "sees" "cat" "+")) -> ("something" "is" "young" "+"))
If something chases the bald eagle and the bald eagle sees the cat then the bald eagle eats the cat.
((("something" "chases" "bald eagle" "+") ("bald eagle" "sees" "cat" "+")) -> ("bald eagle" "eats" "cat" "+"))
If something is green and it chases the bald eagle then it eats the cat.
((("something" "is" "green" "+") ("something" "chases" "bald eagle" "+")) -> ("something" "eats" "cat" "+"))
If something is blue then it chases the cat.
((("something" "is" "blue" "+")) -> ("something" "chases" "cat" "+"))
If something chases the bald eagle and the bald eagle eats the cat then the bald eagle sees the cat.
((("something" "chases" "bald eagle" "+") ("bald eagle" "eats" "cat" "+")) -> ("bald eagle" "sees" "cat" "+"))
If something is round and it eats the bald eagle then it is red.
((("something" "is" "round" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "is" "red" "+"))
The cat is blue.
True
1
proof
[(triple8)]
("cat" "is" "blue" "+")
triple8
The cat is not round.
False
1
inv-proof
[(triple11)]
("cat" "is" "round" "-")
triple11
The cat chases the cat.
True
2
proof
[(((triple8) -> rule6))]
("cat" "chases" "cat" "+")
((triple8) -> (rule6 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not eat the cat.
False
3
inv-proof
[(((triple9 triple6) -> rule5) OR ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5))]
("cat" "eats" "cat" "-")
((triple9 triple6) -> (rule5 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule5 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat sees the cat.
True
5
proof
[(((triple11 ((triple9 triple6) -> rule5)) -> rule2) OR ((triple11 ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5)) -> rule2))]
("cat" "sees" "cat" "+")
((triple11 ((triple9 triple6) -> (rule5 % int2))) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
((triple11 ((((((triple8) -> (rule6 % int4))) -> (rule1 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat does not see the cat.
False
5
inv-proof
[(((triple11 ((triple9 triple6) -> rule5)) -> rule2) OR ((triple11 ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5)) -> rule2))]
("cat" "sees" "cat" "-")
((triple11 ((triple9 triple6) -> (rule5 % int2))) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
((triple11 ((((((triple8) -> (rule6 % int4))) -> (rule1 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is young.
True
7
proof
[(((triple11 ((triple11 ((triple9 triple6) -> rule5)) -> rule2)) -> rule3) OR ((triple11 ((triple11 ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5)) -> rule2)) -> rule3))]
("cat" "is" "young" "+")
((triple11 ((triple11 ((triple9 triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
((triple11 ((triple11 ((((((triple8) -> (rule6 % int5))) -> (rule1 % int4)) triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
int5
The cat is not young.
False
7
inv-proof
[(((triple11 ((triple11 ((triple9 triple6) -> rule5)) -> rule2)) -> rule3) OR ((triple11 ((triple11 ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5)) -> rule2)) -> rule3))]
("cat" "is" "young" "-")
((triple11 ((triple11 ((triple9 triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
((triple11 ((triple11 ((((((triple8) -> (rule6 % int5))) -> (rule1 % int4)) triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
int5
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "young" "-")
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" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1 OR ((triple3) -> rule6))] The bald eagle eats the cat.[(triple2 OR ((triple6 triple5) -> rule4))] The bald eagle is blue.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle sees the cat.[(triple5 OR ((triple6 triple2) -> rule7))] The cat chases the bald eagle.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is blue.[(triple8)] The cat is green.[(triple9 OR ((((triple8) -> rule6)) -> rule1))] The cat is red.[(triple10 OR ((triple11 triple7) -> rule8))] The cat is round.[(triple11)] The cat sees the bald eagle.[(triple12)] @1: The bald eagle is green.[(((triple1) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] The cat chases the cat.[(((triple8) -> rule6))] The cat eats the cat.[(((triple9 triple6) -> rule5) OR ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5))] @2: The cat sees the cat.[(((triple11 ((triple9 triple6) -> rule5)) -> rule2) OR ((triple11 ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5)) -> rule2))] @3: The cat is young.[(((triple11 ((triple11 ((triple9 triple6) -> rule5)) -> rule2)) -> rule3) OR ((triple11 ((triple11 ((((((triple8) -> rule6)) -> rule1) triple6) -> rule5)) -> rule2)) -> rule3))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
((triple3) -> (rule6 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
((triple6 triple5) -> (rule4 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple5
((triple6 triple2) -> (rule7 % int1))
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple6
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple7
The cat is blue.
("cat" "is" "blue" "+")
triple8
The cat is green.
("cat" "is" "green" "+")
triple9
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat is red.
("cat" "is" "red" "+")
triple10
((triple11 triple7) -> (rule8 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple11
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple12
The bald eagle is green.
("bald eagle" "is" "green" "+")
((triple1) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
((((triple3) -> (rule6 % int2))) -> (rule1 % int1))
The bald eagle is green.
("bald eagle" "is" "green" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple8) -> (rule6 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple9 triple6) -> (rule5 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
((((((triple8) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule5 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat chases the cat.
("cat" "chases" "cat" "+")
int3
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple11 ((triple9 triple6) -> (rule5 % int2))) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
((triple11 ((((((triple8) -> (rule6 % int4))) -> (rule1 % int3)) triple6) -> (rule5 % int2))) -> (rule2 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
int4
The cat is young.
("cat" "is" "young" "+")
((triple11 ((triple11 ((triple9 triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
((triple11 ((triple11 ((((((triple8) -> (rule6 % int5))) -> (rule1 % int4)) triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat eats the cat.
("cat" "eats" "cat" "+")
int3
The cat is green.
("cat" "is" "green" "+")
int4
The cat chases the cat.
("cat" "chases" "cat" "+")
int5