The bald eagle chases the bear. The bald eagle needs the bear. The bald eagle needs the dog. The bald eagle visits the bear. The bear chases the dog. The bear is big. The bear needs the dog. The dog is big. The dog is green. The dog is red. If something visits the bald eagle then it needs the dog. If something is red then it visits the bald eagle. If something is red then it chases the dog.
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
If something visits the bald eagle then it needs the dog.
((("something" "visits" "bald eagle" "+")) -> ("something" "needs" "dog" "+"))
If something is red then it visits the bald eagle.
((("something" "is" "red" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is red then it chases the dog.
((("something" "is" "red" "+")) -> ("something" "chases" "dog" "+"))
The dog is green.
True
1
proof
[(triple9)]
("dog" "is" "green" "+")
triple9
The bald eagle does not need the dog.
False
1
inv-proof
[(triple3)]
("bald eagle" "needs" "dog" "-")
triple3
The dog chases the dog.
True
2
proof
[(((triple10) -> rule3))]
("dog" "chases" "dog" "+")
((triple10) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not visit the bald eagle.
False
2
inv-proof
[(((triple10) -> rule2))]
("dog" "visits" "bald eagle" "-")
((triple10) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog needs the dog.
True
3
proof
[(((((triple10) -> rule2)) -> rule1))]
("dog" "needs" "dog" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog does not need the dog.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule1))]
("dog" "needs" "dog" "-")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The bear does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bear visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "visits" "bald eagle" "-")
The bald eagle visits the bald eagle.
Unknown
rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "+")
The bald eagle does not chase the dog.
Unknown
inv-rconc
[@1: The bald eagle chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "dog" "-")
The bald eagle is nice.
Unknown
random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "+")
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 is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The bald eagle chases the bear.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear chases the dog.[(triple5)] The bear is big.[(triple6)] The bear needs the dog.[(triple7)] The dog is big.[(triple8)] The dog is green.[(triple9)] The dog is red.[(triple10)] @1: The dog chases the dog.[(((triple10) -> rule3))] The dog visits the bald eagle.[(((triple10) -> rule2))] @2: The dog needs the dog.[(((((triple10) -> rule2)) -> rule1))]
The bald eagle chases the bear.
("bald eagle" "chases" "bear" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear chases the dog.
("bear" "chases" "dog" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear needs the dog.
("bear" "needs" "dog" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is red.
("dog" "is" "red" "+")
triple10
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple10) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((((triple10) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2