The bald eagle is cold. The bald eagle is green. The cat visits the dog. The dog chases the bald eagle. The dog chases the cat. The dog is green. The dog does not see the cat. If someone chases the bald eagle and they visit the dog then they visit the cat. If someone is green then they visit the cat. If someone visits the cat then the cat chases the bald eagle. If someone is blue then they see the cat. If the cat chases the dog then the dog is not green. If someone visits the dog and they do not see the bald eagle then the dog is not green. If someone is cold then they do not visit the dog. If the cat is not green then the cat visits the bald eagle.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is green.
("dog" "is" "green" "+")
The dog does not see the cat.
("dog" "sees" "cat" "-")
If someone chases the bald eagle and they visit the dog then they visit the cat.
((("someone" "chases" "bald eagle" "+") ("someone" "visits" "dog" "+")) -> ("someone" "visits" "cat" "+"))
If someone is green then they visit the cat.
((("someone" "is" "green" "+")) -> ("someone" "visits" "cat" "+"))
If someone visits the cat then the cat chases the bald eagle.
((("someone" "visits" "cat" "+")) -> ("cat" "chases" "bald eagle" "+"))
If someone is blue then they see the cat.
((("someone" "is" "blue" "+")) -> ("someone" "sees" "cat" "+"))
If the cat chases the dog then the dog is not green.
((("cat" "chases" "dog" "+")) -> ("dog" "is" "green" "-"))
If someone visits the dog and they do not see the bald eagle then the dog is not green.
((("someone" "visits" "dog" "+") ("someone" "sees" "bald eagle" "~")) -> ("dog" "is" "green" "-"))
If someone is cold then they do not visit the dog.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "dog" "-"))
If the cat is not green then the cat visits the bald eagle.
((("cat" "is" "green" "~")) -> ("cat" "visits" "bald eagle" "+"))
The dog chases the bald eagle.
True
1
proof
[(triple4)]
("dog" "chases" "bald eagle" "+")
triple4
The dog is not green.
False
1
inv-proof
[(triple6)]
("dog" "is" "green" "-")
triple6
The bald eagle does not visit the dog.
True
2
proof
[(((triple1) -> rule7))]
("bald eagle" "visits" "dog" "-")
((triple1) -> (rule7 % int1))
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
int1
The dog does not visit the cat.
False
2
inv-proof
[(((triple6) -> rule2))]
("dog" "visits" "cat" "-")
((triple6) -> (rule2 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1
The cat chases the bald eagle.
True
3
proof
[(((((triple2) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]
("cat" "chases" "bald eagle" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The dog visits the cat.
("dog" "visits" "cat" "+")
int2
The cat does not chase the bald eagle.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]
("cat" "chases" "bald eagle" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The dog visits the cat.
("dog" "visits" "cat" "+")
int2
The cat visits the cat.
True
5
proof
[(((((((triple2) -> rule2)) -> rule3) triple3) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) triple3) -> rule1))]
("cat" "visits" "cat" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The dog visits the cat.
("dog" "visits" "cat" "+")
int3
The cat does not visit the cat.
False
5
inv-proof
[(((((((triple2) -> rule2)) -> rule3) triple3) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) triple3) -> rule1))]
("cat" "visits" "cat" "-")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The dog visits the cat.
("dog" "visits" "cat" "+")
int3
The cat does not visit the bald eagle.
Unknown
inv-rconc
[@1: The cat visits the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "visits" "bald eagle" "-")
The cat sees the cat.
Unknown
rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "sees" "cat" "+")
The bald eagle does not see the cat.
Unknown
inv-rconc
[@1: The bald eagle sees the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "cat" "-")
The dog visits the bald eagle.
Unknown
random
[@0: The dog visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bald eagle" "+")
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 cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The cat is cold.
Unknown
random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The cat visits the dog.[(triple3)] The dog chases the bald eagle.[(triple4)] The dog chases the cat.[(triple5)] The dog does not see the cat.[(triple7)] The dog is green.[(triple6)] @1: The bald eagle does not visit the dog.[(((triple1) -> rule7))] The bald eagle visits the cat.[(((triple2) -> rule2))] The dog visits the cat.[(((triple6) -> rule2))] @2: The cat chases the bald eagle.[(((((triple2) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] @3: The cat visits the cat.[(((((((triple2) -> rule2)) -> rule3) triple3) -> rule1) OR ((((((triple6) -> rule2)) -> rule3) triple3) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The cat visits the dog.
("cat" "visits" "dog" "+")
triple3
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple4
The dog chases the cat.
("dog" "chases" "cat" "+")
triple5
The dog does not see the cat.
("dog" "sees" "cat" "-")
triple7
The dog is green.
("dog" "is" "green" "+")
triple6
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
((triple1) -> (rule7 % int1))
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
((triple2) -> (rule2 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The dog visits the cat.
("dog" "visits" "cat" "+")
((triple6) -> (rule2 % int1))
The dog visits the cat.
("dog" "visits" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The dog visits the cat.
("dog" "visits" "cat" "+")
int2
The cat visits the cat.
("cat" "visits" "cat" "+")
((((((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple3) -> (rule1 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int2
The dog visits the cat.
("dog" "visits" "cat" "+")
int3