The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle is young. The bald eagle likes the dog. The bald eagle needs the dog. The bald eagle visits the dog. The dog is green. The dog is rough. The dog is round. The dog is young. The dog likes the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. If someone needs the bald eagle and the bald eagle likes the dog then the bald eagle visits the dog. If someone needs the dog then the dog is young. If someone is young then they visit the dog. If someone visits the bald eagle and they are green then the bald eagle visits the dog. If someone likes the bald eagle then they visit the bald eagle. If someone visits the dog and they are young then the dog visits the bald eagle. If someone needs the dog and they like the dog then the dog likes the bald eagle. If someone is young then they like the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If someone needs the bald eagle and the bald eagle likes the dog then the bald eagle visits the dog.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "likes" "dog" "+")) -> ("bald eagle" "visits" "dog" "+"))
If someone needs the dog then the dog is young.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "young" "+"))
If someone is young then they visit the dog.
((("someone" "is" "young" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the bald eagle and they are green then the bald eagle visits the dog.
((("someone" "visits" "bald eagle" "+") ("someone" "is" "green" "+")) -> ("bald eagle" "visits" "dog" "+"))
If someone likes the bald eagle then they visit the bald eagle.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
If someone visits the dog and they are young then the dog visits the bald eagle.
((("someone" "visits" "dog" "+") ("someone" "is" "young" "+")) -> ("dog" "visits" "bald eagle" "+"))
If someone needs the dog and they like the dog then the dog likes the bald eagle.
((("someone" "needs" "dog" "+") ("someone" "likes" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If someone is young then they like the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "likes" "bald eagle" "+"))
The dog visits the bald eagle.
True
1
proof
[(triple15 OR ((triple13) -> rule5) OR ((triple8 triple5) -> rule6) OR ((((triple12) -> rule8)) -> rule5) OR ((((triple7 triple6) -> rule7)) -> rule5) OR ((((triple12) -> rule3) triple12) -> rule6) OR ((((triple5) -> rule3) triple5) -> rule6) OR ((((triple14 triple6) -> rule1) triple5) -> rule6) OR ((((triple12) -> rule3) ((triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule2)) -> rule8)) -> rule5) OR ((((((triple7) -> rule2)) -> rule3) triple12) -> rule6) OR ((((((triple7) -> rule2)) -> rule3) ((triple7) -> rule2)) -> rule6) OR ((((((((triple5) -> rule8)) -> rule5) triple1) -> rule4) triple5) -> rule6))]
("dog" "visits" "bald eagle" "+")
triple15
((triple13) -> (rule5 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
((triple8 triple5) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule5 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
((((triple7 triple6) -> (rule7 % int2))) -> (rule5 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
((((triple12) -> (rule3 % int2)) triple12) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
((((triple5) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
((((triple14 triple6) -> (rule1 % int2)) triple5) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple12) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule2 % int3))) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((((((triple5) -> (rule8 % int4))) -> (rule5 % int3)) triple1) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The dog is not round.
False
1
inv-proof
[(triple11)]
("dog" "is" "round" "-")
triple11
The bald eagle likes the bald eagle.
True
2
proof
[(((triple5) -> rule8))]
("bald eagle" "likes" "bald eagle" "+")
((triple5) -> (rule8 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle does not like the bald eagle.
False
2
inv-proof
[(((triple5) -> rule8))]
("bald eagle" "likes" "bald eagle" "-")
((triple5) -> (rule8 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
True
3
proof
[(((((triple5) -> rule8)) -> rule5))]
("bald eagle" "visits" "bald eagle" "+")
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle does not visit the bald eagle.
False
3
inv-proof
[(((((triple5) -> rule8)) -> rule5))]
("bald eagle" "visits" "bald eagle" "-")
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
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" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is round.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle likes the dog.[(triple6)] The bald eagle needs the dog.[(triple7)] The bald eagle visits the dog.[(triple8 OR ((triple5) -> rule3) OR ((triple14 triple6) -> rule1) OR ((triple15 triple9) -> rule4) OR ((((triple13) -> rule5) triple9) -> rule4) OR ((((((triple12) -> rule8)) -> rule5) triple9) -> rule4) OR ((((((triple5) -> rule8)) -> rule5) triple1) -> rule4) OR ((((((triple7 triple6) -> rule7)) -> rule5) triple9) -> rule4) OR ((((((triple12) -> rule3) triple12) -> rule6) triple9) -> rule4) OR ((((((triple12) -> rule3) ((triple7) -> rule2)) -> rule6) triple9) -> rule4) OR ((((((((triple7) -> rule2)) -> rule8)) -> rule5) triple9) -> rule4) OR ((((((((triple7) -> rule2)) -> rule3) triple12) -> rule6) triple9) -> rule4) OR ((((((((triple7) -> rule2)) -> rule3) ((triple7) -> rule2)) -> rule6) triple9) -> rule4))] The dog is green.[(triple9)] The dog is rough.[(triple10)] The dog is round.[(triple11)] The dog is young.[(triple12 OR ((triple7) -> rule2))] The dog likes the bald eagle.[(triple13 OR ((triple12) -> rule8) OR ((triple7 triple6) -> rule7) OR ((((triple7) -> rule2)) -> rule8))] The dog needs the bald eagle.[(triple14)] The dog visits the bald eagle.[(triple15 OR ((triple13) -> rule5) OR ((triple8 triple5) -> rule6) OR ((((triple12) -> rule8)) -> rule5) OR ((((triple7 triple6) -> rule7)) -> rule5) OR ((((triple12) -> rule3) triple12) -> rule6) OR ((((triple5) -> rule3) triple5) -> rule6) OR ((((triple14 triple6) -> rule1) triple5) -> rule6) OR ((((triple12) -> rule3) ((triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule2)) -> rule8)) -> rule5) OR ((((((triple7) -> rule2)) -> rule3) triple12) -> rule6) OR ((((((triple7) -> rule2)) -> rule3) ((triple7) -> rule2)) -> rule6) OR ((((((((triple5) -> rule8)) -> rule5) triple1) -> rule4) triple5) -> rule6))] @1: The bald eagle likes the bald eagle.[(((triple5) -> rule8))] The dog visits the dog.[(((triple12) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] @2: The bald eagle visits the bald eagle.[(((((triple5) -> rule8)) -> rule5))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple5
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple6
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple7
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple8
((triple5) -> (rule3 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
((triple14 triple6) -> (rule1 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
((triple15 triple9) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
((((triple13) -> (rule5 % int2)) triple9) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
((((((triple12) -> (rule8 % int3))) -> (rule5 % int2)) triple9) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
((((((triple5) -> (rule8 % int3))) -> (rule5 % int2)) triple1) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int3
((((((triple7 triple6) -> (rule7 % int3))) -> (rule5 % int2)) triple9) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
((((((triple12) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
((((((triple12) -> (rule3 % int4)) ((triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
The dog visits the dog.
("dog" "visits" "dog" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule8 % int3))) -> (rule5 % int2)) triple9) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int3
The dog is young.
("dog" "is" "young" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule3 % int3)) triple12) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
The dog is young.
("dog" "is" "young" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule3 % int3)) ((triple7) -> (rule2 % int4))) -> (rule6 % int2)) triple9) -> (rule4 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
The dog is young.
("dog" "is" "young" "+")
int4
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog is round.
("dog" "is" "round" "+")
triple11
The dog is young.
("dog" "is" "young" "+")
triple12
((triple7) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple13
((triple12) -> (rule8 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
((triple7 triple6) -> (rule7 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule8 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple14
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple15
((triple13) -> (rule5 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
((triple8 triple5) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
((((triple12) -> (rule8 % int2))) -> (rule5 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
((((triple7 triple6) -> (rule7 % int2))) -> (rule5 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
((((triple12) -> (rule3 % int2)) triple12) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
((((triple5) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
((((triple14 triple6) -> (rule1 % int2)) triple5) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
((((triple12) -> (rule3 % int3)) ((triple7) -> (rule2 % int2))) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2)) triple12) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2)) ((triple7) -> (rule2 % int3))) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog is young.
("dog" "is" "young" "+")
int3
((((((((triple5) -> (rule8 % int4))) -> (rule5 % int3)) triple1) -> (rule4 % int2)) triple5) -> (rule6 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int4
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((triple5) -> (rule8 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple12) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple5) -> (rule8 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2