The bald eagle eats the dog. The bald eagle is young. The bald eagle sees the dog. The bald eagle visits the tiger. The dog eats the bald eagle. The dog eats the tiger. The dog is big. The dog is young. The dog sees the bald eagle. The dog sees the tiger. The dog visits the bald eagle. The tiger eats the bald eagle. The tiger is red. The tiger is young. The tiger sees the bald eagle. If something visits the dog and the dog eats the bald eagle then the dog visits the tiger. If something is red and it eats the bald eagle then the bald eagle eats the dog. If something eats the tiger and it visits the bald eagle then the tiger visits the dog.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If something visits the dog and the dog eats the bald eagle then the dog visits the tiger.
((("something" "visits" "dog" "+") ("dog" "eats" "bald eagle" "+")) -> ("dog" "visits" "tiger" "+"))
If something is red and it eats the bald eagle then the bald eagle eats the dog.
((("something" "is" "red" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If something eats the tiger and it visits the bald eagle then the tiger visits the dog.
((("something" "eats" "tiger" "+") ("something" "visits" "bald eagle" "+")) -> ("tiger" "visits" "dog" "+"))
The tiger is red.
True
1
proof
[(triple13)]
("tiger" "is" "red" "+")
triple13
The bald eagle is not young.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "young" "-")
triple2
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle eats the dog.[(triple1 OR ((triple13 triple12) -> rule2))] The bald eagle is young.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle visits the tiger.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog eats the tiger.[(triple6)] The dog is big.[(triple7)] The dog is young.[(triple8)] The dog sees the bald eagle.[(triple9)] The dog sees the tiger.[(triple10)] The dog visits the bald eagle.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger is red.[(triple13)] The tiger is young.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The tiger visits the dog.[(((triple6 triple11) -> rule3))] @2: The dog visits the tiger.[(((((triple6 triple11) -> rule3) triple5) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
((triple13 triple12) -> (rule2 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
triple3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple5
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is young.
("dog" "is" "young" "+")
triple8
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple9
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple10
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple11
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The tiger visits the dog.
("tiger" "visits" "dog" "+")
((triple6 triple11) -> (rule3 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
The dog visits the tiger.
("dog" "visits" "tiger" "+")
((((triple6 triple11) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The dog visits the tiger.
("dog" "visits" "tiger" "+")
int1
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int2