The bald eagle does not chase the cat. The bald eagle chases the squirrel. The bald eagle eats the cat. The bald eagle eats the squirrel. The bald eagle is kind. The bald eagle sees the cat. The bald eagle sees the squirrel. The cat chases the bald eagle. The cat chases the squirrel. The cat eats the bald eagle. The cat sees the squirrel. The squirrel does not eat the bald eagle. The squirrel is blue. The squirrel is cold. The squirrel sees the bald eagle. The squirrel sees the cat. If something chases the cat then it eats the bald eagle. If something is round then it chases the bald eagle. If something eats the squirrel then it is cold. If something chases the bald eagle then it is blue. If something chases the cat then the cat is kind. If something eats the squirrel and it sees the squirrel then the squirrel is kind. If something sees the cat then it is round. If something eats the cat and it does not chase the bald eagle then the cat is blue.
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If something chases the cat then it eats the bald eagle.
((("something" "chases" "cat" "+")) -> ("something" "eats" "bald eagle" "+"))
If something is round then it chases the bald eagle.
((("something" "is" "round" "+")) -> ("something" "chases" "bald eagle" "+"))
If something eats the squirrel then it is cold.
((("something" "eats" "squirrel" "+")) -> ("something" "is" "cold" "+"))
If something chases the bald eagle then it is blue.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "blue" "+"))
If something chases the cat then the cat is kind.
((("something" "chases" "cat" "+")) -> ("cat" "is" "kind" "+"))
If something eats the squirrel and it sees the squirrel then the squirrel is kind.
((("something" "eats" "squirrel" "+") ("something" "sees" "squirrel" "+")) -> ("squirrel" "is" "kind" "+"))
If something sees the cat then it is round.
((("something" "sees" "cat" "+")) -> ("something" "is" "round" "+"))
If something eats the cat and it does not chase the bald eagle then the cat is blue.
((("something" "eats" "cat" "+") ("something" "chases" "bald eagle" "~")) -> ("cat" "is" "blue" "+"))
The bald eagle sees the squirrel.
True
1
proof
[(triple7)]
("bald eagle" "sees" "squirrel" "+")
triple7
The cat does not see the squirrel.
False
1
inv-proof
[(triple11)]
("cat" "sees" "squirrel" "-")
triple11
The bald eagle is cold.
True
2
proof
[(((triple4) -> rule3))]
("bald eagle" "is" "cold" "+")
((triple4) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The squirrel is not kind.
False
3
inv-proof
[(((triple4 triple7) -> rule6))]
("squirrel" "is" "kind" "-")
((triple4 triple7) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The bald eagle chases the bald eagle.
True
3
proof
[(((((triple6) -> rule7)) -> rule2))]
("bald eagle" "chases" "bald eagle" "+")
((((triple6) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel does not chase the bald eagle.
False
3
inv-proof
[(((((triple16) -> rule7)) -> rule2))]
("squirrel" "chases" "bald eagle" "-")
((((triple16) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The cat is not cold.
Unknown
inv-rconc
[@1: The cat is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "is" "cold" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "kind" "+")
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "round" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bald eagle chases the squirrel.[(triple2)] The bald eagle does not chase the cat.[(triple1)] The bald eagle eats the cat.[(triple3)] The bald eagle eats the squirrel.[(triple4)] The bald eagle is kind.[(triple5)] The bald eagle sees the cat.[(triple6)] The bald eagle sees the squirrel.[(triple7)] The cat chases the bald eagle.[(triple8)] The cat chases the squirrel.[(triple9)] The cat eats the bald eagle.[(triple10)] The cat sees the squirrel.[(triple11)] The squirrel does not eat the bald eagle.[(triple12)] The squirrel is blue.[(triple13 OR ((((((triple16) -> rule7)) -> rule2)) -> rule4))] The squirrel is cold.[(triple14)] The squirrel sees the bald eagle.[(triple15)] The squirrel sees the cat.[(triple16)] @1: The bald eagle is cold.[(((triple4) -> rule3))] The bald eagle is round.[(((triple6) -> rule7))] The cat is blue.[(((triple8) -> rule4))] The squirrel is kind.[(((triple4 triple7) -> rule6))] The squirrel is round.[(((triple16) -> rule7))] @2: The bald eagle chases the bald eagle.[(((((triple6) -> rule7)) -> rule2))] The squirrel chases the bald eagle.[(((((triple16) -> rule7)) -> rule2))] @3: The bald eagle is blue.[(((((((triple6) -> rule7)) -> rule2)) -> rule4))]
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle does not chase the cat.
("bald eagle" "chases" "cat" "-")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple3
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple4
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple5
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple6
The bald eagle sees the squirrel.
("bald eagle" "sees" "squirrel" "+")
triple7
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple8
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple9
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple10
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple11
The squirrel does not eat the bald eagle.
("squirrel" "eats" "bald eagle" "-")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
((((((triple16) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple14
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple15
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple16
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple4) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
((triple6) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple8) -> (rule4 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple4 triple7) -> (rule6 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple16) -> (rule7 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple6) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((((triple16) -> (rule7 % int2))) -> (rule2 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((((((triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3