The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle is big. The bald eagle is cold. The bald eagle needs the cat. The cat chases the bald eagle. The cat eats the bald eagle. The cat is big. The cat is blue. The cat is kind. The cat is round. The cat needs the bald eagle. If someone is big then they chase the cat. If someone chases the cat then they eat the cat.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
If someone is big then they chase the cat.
((("someone" "is" "big" "+")) -> ("someone" "chases" "cat" "+"))
If someone chases the cat then they eat the cat.
((("someone" "chases" "cat" "+")) -> ("someone" "eats" "cat" "+"))
The cat is kind.
True
1
proof
[(triple10)]
("cat" "is" "kind" "+")
triple10
The bald eagle is not cold.
False
1
inv-proof
[(triple4)]
("bald eagle" "is" "cold" "-")
triple4
The cat chases the cat.
True
2
proof
[(((triple8) -> rule1))]
("cat" "chases" "cat" "+")
((triple8) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple8) -> rule1))]
("cat" "chases" "cat" "-")
((triple8) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat eats the cat.
True
3
proof
[(((((triple8) -> rule1)) -> rule2))]
("cat" "eats" "cat" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat does not eat the cat.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule2))]
("cat" "eats" "cat" "-")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
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 cat.[(triple1 OR ((triple3) -> rule1))] The bald eagle eats the cat.[(triple2 OR ((triple1) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle needs the cat.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is big.[(triple8)] The cat is blue.[(triple9)] The cat is kind.[(triple10)] The cat is round.[(triple11)] The cat needs the bald eagle.[(triple12)] @1: The cat chases the cat.[(((triple8) -> rule1))] @2: The cat eats the cat.[(((((triple8) -> rule1)) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
((triple3) -> (rule1 % int1))
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
((triple1) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
int1
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple4
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple5
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 big.
("cat" "is" "big" "+")
triple8
The cat is blue.
("cat" "is" "blue" "+")
triple9
The cat is kind.
("cat" "is" "kind" "+")
triple10
The cat is round.
("cat" "is" "round" "+")
triple11
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple12
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple8) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat eats the cat.
("cat" "eats" "cat" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2