The bald eagle chases the cat. The bear visits the cat. The cat visits the dog. The dog chases the bald eagle. If something is young then it chases the bear. If something visits the cat then it is red. If something visits the bear then the bear chases the dog. If something visits the bear and it is cold then the bear needs the cat. If something is red and it visits the cat then the cat chases the dog. If something chases the dog then it chases the bear.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
If something is young then it chases the bear.
((("something" "is" "young" "+")) -> ("something" "chases" "bear" "+"))
If something visits the cat then it is red.
((("something" "visits" "cat" "+")) -> ("something" "is" "red" "+"))
If something visits the bear then the bear chases the dog.
((("something" "visits" "bear" "+")) -> ("bear" "chases" "dog" "+"))
If something visits the bear and it is cold then the bear needs the cat.
((("something" "visits" "bear" "+") ("something" "is" "cold" "+")) -> ("bear" "needs" "cat" "+"))
If something is red and it visits the cat then the cat chases the dog.
((("something" "is" "red" "+") ("something" "visits" "cat" "+")) -> ("cat" "chases" "dog" "+"))
If something chases the dog then it chases the bear.
((("something" "chases" "dog" "+")) -> ("something" "chases" "bear" "+"))
The cat visits the dog.
True
1
proof
[(triple3)]
("cat" "visits" "dog" "+")
triple3
The cat does not visit the dog.
False
1
inv-proof
[(triple3)]
("cat" "visits" "dog" "-")
triple3
The bear is red.
True
2
proof
[(((triple2) -> rule2))]
("bear" "is" "red" "+")
((triple2) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is not red.
False
2
inv-proof
[(((triple2) -> rule2))]
("bear" "is" "red" "-")
((triple2) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat chases the dog.
True
4
proof
[(((((triple2) -> rule2) triple2) -> rule5))]
("cat" "chases" "dog" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The cat does not chase the dog.
False
4
inv-proof
[(((((triple2) -> rule2) triple2) -> rule5))]
("cat" "chases" "dog" "-")
((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The cat chases the bear.
True
5
proof
[(((((((triple2) -> rule2) triple2) -> rule5)) -> rule6))]
("cat" "chases" "bear" "+")
((((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The cat does not chase the bear.
False
5
inv-proof
[(((((((triple2) -> rule2) triple2) -> rule5)) -> rule6))]
("cat" "chases" "bear" "-")
((((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear does not need the cat.
Unknown
inv-rconc
[@1: The bear needs the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "needs" "cat" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "red" "+")
The bald eagle does not chase the bear.
Unknown
inv-rconc
[@1: The bald eagle chases the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "bear" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "red" "+")
The dog does not visit the bear.
Unknown
inv-random
[@0: The dog visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "bear" "-")
The bear chases the bald eagle.
Unknown
random
[@0: The bear chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bald eagle" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The bald eagle visits the cat.
Unknown
random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bear visits the cat.[(triple2)] The cat visits the dog.[(triple3)] The dog chases the bald eagle.[(triple4)] @1: The bear is red.[(((triple2) -> rule2))] @2: The cat chases the dog.[(((((triple2) -> rule2) triple2) -> rule5))] @3: The cat chases the bear.[(((((((triple2) -> rule2) triple2) -> rule5)) -> rule6))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bear visits the cat.
("bear" "visits" "cat" "+")
triple2
The cat visits the dog.
("cat" "visits" "dog" "+")
triple3
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
((triple2) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule5 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The cat chases the bear.
("cat" "chases" "bear" "+")
((((((triple2) -> (rule2 % int3)) triple2) -> (rule5 % int2))) -> (rule6 % int1))
The cat chases the bear.
("cat" "chases" "bear" "+")
int1
The cat chases the dog.
("cat" "chases" "dog" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3