The bald eagle is round. The bald eagle needs the bear. The bald eagle visits the dog. The bear sees the bald eagle. The cat is blue. The cat is round. The cat sees the dog. The cat visits the bald eagle. The cat visits the dog. The dog is cold. The dog needs the bear. The dog sees the bald eagle. If someone sees the bear then they are blue. If someone sees the bald eagle then they see the dog. If someone sees the cat then the cat sees the dog. If the dog sees the bald eagle then the dog sees the cat. If someone is cold then they see the bear. If someone sees the dog and they need the dog then the dog visits the bear.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If someone sees the bear then they are blue.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "blue" "+"))
If someone sees the bald eagle then they see the dog.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "sees" "dog" "+"))
If someone sees the cat then the cat sees the dog.
((("someone" "sees" "cat" "+")) -> ("cat" "sees" "dog" "+"))
If the dog sees the bald eagle then the dog sees the cat.
((("dog" "sees" "bald eagle" "+")) -> ("dog" "sees" "cat" "+"))
If someone is cold then they see the bear.
((("someone" "is" "cold" "+")) -> ("someone" "sees" "bear" "+"))
If someone sees the dog and they need the dog then the dog visits the bear.
((("someone" "sees" "dog" "+") ("someone" "needs" "dog" "+")) -> ("dog" "visits" "bear" "+"))
The cat is blue.
True
1
proof
[(triple5)]
("cat" "is" "blue" "+")
triple5
The bald eagle is not round.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "round" "-")
triple1
The dog sees the dog.
True
2
proof
[(((triple12) -> rule2))]
("dog" "sees" "dog" "+")
((triple12) -> (rule2 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not see the bear.
False
2
inv-proof
[(((triple10) -> rule5))]
("dog" "sees" "bear" "-")
((triple10) -> (rule5 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is blue.
True
3
proof
[(((((triple10) -> rule5)) -> rule1))]
("dog" "is" "blue" "+")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The dog is not blue.
False
3
inv-proof
[(((((triple10) -> rule5)) -> rule1))]
("dog" "is" "blue" "-")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The cat does not see the bear.
Unknown
inv-rconc
[@1: The cat sees the bear.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "sees" "bear" "-")
The dog visits the bear.
Unknown
rconc
[@1: The dog visits the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "visits" "bear" "+")
The bald eagle is not blue.
Unknown
inv-rconc
[@2: The bald eagle is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("bald eagle" "is" "blue" "-")
The bald eagle needs the dog.
Unknown
random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle visits the dog.[(triple3)] The bear sees the bald eagle.[(triple4)] The cat is blue.[(triple5)] The cat is round.[(triple6)] The cat sees the dog.[(triple7 OR ((((triple12) -> rule4)) -> rule3))] The cat visits the bald eagle.[(triple8)] The cat visits the dog.[(triple9)] The dog is cold.[(triple10)] The dog needs the bear.[(triple11)] The dog sees the bald eagle.[(triple12)] @1: The bear sees the dog.[(((triple4) -> rule2))] The dog sees the bear.[(((triple10) -> rule5))] The dog sees the cat.[(((triple12) -> rule4))] The dog sees the dog.[(((triple12) -> rule2))] @2: The dog is blue.[(((((triple10) -> rule5)) -> rule1))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat sees the dog.
("cat" "sees" "dog" "+")
triple7
((((triple12) -> (rule4 % int2))) -> (rule3 % int1))
The cat sees the dog.
("cat" "sees" "dog" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple8
The cat visits the dog.
("cat" "visits" "dog" "+")
triple9
The dog is cold.
("dog" "is" "cold" "+")
triple10
The dog needs the bear.
("dog" "needs" "bear" "+")
triple11
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple12
The bear sees the dog.
("bear" "sees" "dog" "+")
((triple4) -> (rule2 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
((triple10) -> (rule5 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
((triple12) -> (rule4 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple12) -> (rule2 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((((triple10) -> (rule5 % int2))) -> (rule1 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2