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