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