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