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