The bald eagle is big. The bald eagle is nice. The bald eagle is rough. The bald eagle likes the dog. The bald eagle needs the dog. The bald eagle visits the dog. The dog is blue. The dog is nice. The dog is red. The dog likes the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. All rough, nice people are big. If someone visits the dog then the dog likes the bald eagle. If someone needs the dog and they like the bald eagle then they visit the bald eagle. If the bald eagle is nice and the bald eagle likes the dog then the dog visits the bald eagle. If someone needs the bald eagle and the bald eagle needs the dog then they are rough. If someone visits the dog then the dog needs the bald eagle.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
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 blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
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" "+")
All rough, nice people are big.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone visits the dog then the dog likes the bald eagle.
((("someone" "visits" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If someone needs the dog and they like the bald eagle then they visit the bald eagle.
((("someone" "needs" "dog" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the bald eagle is nice and the bald eagle likes the dog then the dog visits the bald eagle.
((("bald eagle" "is" "nice" "+") ("bald eagle" "likes" "dog" "+")) -> ("dog" "visits" "bald eagle" "+"))
If someone needs the bald eagle and the bald eagle needs the dog then they are rough.
((("someone" "needs" "bald eagle" "+") ("bald eagle" "needs" "dog" "+")) -> ("someone" "is" "rough" "+"))
If someone visits the dog then the dog needs the bald eagle.
((("someone" "visits" "dog" "+")) -> ("dog" "needs" "bald eagle" "+"))
The bald eagle needs the dog.
True
1
proof
[(triple5)]
("bald eagle" "needs" "dog" "+")
triple5
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple12 OR ((triple2 triple4) -> rule4))]
("dog" "visits" "bald eagle" "-")
triple12
((triple2 triple4) -> (rule4 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog is rough.
True
3
proof
[(((triple11 triple5) -> rule5) OR ((((triple6) -> rule6) triple5) -> rule5))]
("dog" "is" "rough" "+")
((triple11 triple5) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((((triple6) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog is not rough.
False
3
inv-proof
[(((triple11 triple5) -> rule5) OR ((((triple6) -> rule6) triple5) -> rule5))]
("dog" "is" "rough" "-")
((triple11 triple5) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((((triple6) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog is big.
True
5
proof
[(((((triple11 triple5) -> rule5) triple8) -> rule1) OR ((((((triple6) -> rule6) triple5) -> rule5) triple8) -> rule1))]
("dog" "is" "big" "+")
((((triple11 triple5) -> (rule5 % int2)) triple8) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
((((((triple6) -> (rule6 % int3)) triple5) -> (rule5 % int2)) triple8) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The dog is not big.
False
5
inv-proof
[(((((triple11 triple5) -> rule5) triple8) -> rule1) OR ((((((triple6) -> rule6) triple5) -> rule5) triple8) -> rule1))]
("dog" "is" "big" "-")
((((triple11 triple5) -> (rule5 % int2)) triple8) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
((((((triple6) -> (rule6 % int3)) triple5) -> (rule5 % int2)) triple8) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
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 dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
@0: The bald eagle is big.[(triple1 OR ((triple3 triple2) -> rule1))] The bald eagle is nice.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the dog.[(triple4)] The bald eagle needs the dog.[(triple5)] The bald eagle visits the dog.[(triple6)] The dog is blue.[(triple7)] The dog is nice.[(triple8)] The dog is red.[(triple9)] The dog likes the bald eagle.[(triple10 OR ((triple6) -> rule2))] The dog needs the bald eagle.[(triple11 OR ((triple6) -> rule6))] The dog visits the bald eagle.[(triple12 OR ((triple2 triple4) -> rule4))] @1: The dog is rough.[(((triple11 triple5) -> rule5) OR ((((triple6) -> rule6) triple5) -> rule5))] @2: The dog is big.[(((((triple11 triple5) -> rule5) triple8) -> rule1) OR ((((((triple6) -> rule6) triple5) -> rule5) triple8) -> rule1))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
((triple3 triple2) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple4
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple5
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
((triple6) -> (rule2 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
((triple6) -> (rule6 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple12
((triple2 triple4) -> (rule4 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple11 triple5) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((((triple6) -> (rule6 % int2)) triple5) -> (rule5 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog is big.
("dog" "is" "big" "+")
((((triple11 triple5) -> (rule5 % int2)) triple8) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
((((((triple6) -> (rule6 % int3)) triple5) -> (rule5 % int2)) triple8) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int3