The bald eagle is cold. The bald eagle visits the cat. The bald eagle visits the dog. The cat sees the dog. The cat visits the lion. The dog visits the cat. The lion visits the dog. If something chases the lion then it visits the bald eagle. If something chases the bald eagle then it visits the bald eagle. If something visits the bald eagle then it sees the cat. If something is red and it sees the cat then it chases the lion. If something sees the lion then it chases the lion. If something sees the cat then the cat chases the lion. If something is blue then it does not chase the dog. If something visits the dog and it visits the cat then the dog chases the lion. If the lion is cold and the lion does not chase the bald eagle then the lion visits the dog.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something chases the lion then it visits the bald eagle.
((("something" "chases" "lion" "+")) -> ("something" "visits" "bald eagle" "+"))
If something chases the bald eagle then it visits the bald eagle.
((("something" "chases" "bald eagle" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle then it sees the cat.
((("something" "visits" "bald eagle" "+")) -> ("something" "sees" "cat" "+"))
If something is red and it sees the cat then it chases the lion.
((("something" "is" "red" "+") ("something" "sees" "cat" "+")) -> ("something" "chases" "lion" "+"))
If something sees the lion then it chases the lion.
((("something" "sees" "lion" "+")) -> ("something" "chases" "lion" "+"))
If something sees the cat then the cat chases the lion.
((("something" "sees" "cat" "+")) -> ("cat" "chases" "lion" "+"))
If something is blue then it does not chase the dog.
((("something" "is" "blue" "+")) -> ("something" "chases" "dog" "-"))
If something visits the dog and it visits the cat then the dog chases the lion.
((("something" "visits" "dog" "+") ("something" "visits" "cat" "+")) -> ("dog" "chases" "lion" "+"))
If the lion is cold and the lion does not chase the bald eagle then the lion visits the dog.
((("lion" "is" "cold" "+") ("lion" "chases" "bald eagle" "~")) -> ("lion" "visits" "dog" "+"))
The cat visits the lion.
True
1
proof
[(triple5)]
("cat" "visits" "lion" "+")
triple5
The bald eagle does not visit the cat.
False
1
inv-proof
[(triple2)]
("bald eagle" "visits" "cat" "-")
triple2
The dog chases the lion.
True
3
proof
[(((triple3 triple2) -> rule8))]
("dog" "chases" "lion" "+")
((triple3 triple2) -> (rule8 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog does not chase the lion.
False
3
inv-proof
[(((triple3 triple2) -> rule8))]
("dog" "chases" "lion" "-")
((triple3 triple2) -> (rule8 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog visits the bald eagle.
True
4
proof
[(((((triple3 triple2) -> rule8)) -> rule1))]
("dog" "visits" "bald eagle" "+")
((((triple3 triple2) -> (rule8 % int2))) -> (rule1 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog does not visit the bald eagle.
False
4
inv-proof
[(((((triple3 triple2) -> rule8)) -> rule1))]
("dog" "visits" "bald eagle" "-")
((((triple3 triple2) -> (rule8 % int2))) -> (rule1 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog sees the cat.
True
5
proof
[(((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3))]
("dog" "sees" "cat" "+")
((((((triple3 triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog chases the lion.
("dog" "chases" "lion" "+")
int3
The dog does not see the cat.
False
5
inv-proof
[(((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3))]
("dog" "sees" "cat" "-")
((((((triple3 triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog chases the lion.
("dog" "chases" "lion" "+")
int3
The cat chases the lion.
True
6
proof
[(((((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3)) -> rule6))]
("cat" "chases" "lion" "+")
((((((((triple3 triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int3
The dog chases the lion.
("dog" "chases" "lion" "+")
int4
The cat does not chase the lion.
False
6
inv-proof
[(((((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3)) -> rule6))]
("cat" "chases" "lion" "-")
((((((((triple3 triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int3
The dog chases the lion.
("dog" "chases" "lion" "+")
int4
The cat visits the bald eagle.
True
7
proof
[(((((((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3)) -> rule6)) -> rule1))]
("cat" "visits" "bald eagle" "+")
((((((((((triple3 triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int4
The dog chases the lion.
("dog" "chases" "lion" "+")
int5
The cat does not visit the bald eagle.
False
7
inv-proof
[(((((((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3)) -> rule6)) -> rule1))]
("cat" "visits" "bald eagle" "-")
((((((((((triple3 triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int4
The dog chases the lion.
("dog" "chases" "lion" "+")
int5
The bald eagle does not see the cat.
Unknown
inv-rconc
[@3: The bald eagle sees the cat.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule4 <- FAIL)]]
("bald eagle" "sees" "cat" "-")
The lion visits the bald eagle.
Unknown
rconc
[@2: The lion visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("lion" "visits" "bald eagle" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@2: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle chases the lion.
Unknown
rconc
[@1: The bald eagle chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "lion" "+")
The lion does not see the cat.
Unknown
inv-rconc
[@3: The lion sees the cat.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule4 <- FAIL)]]
("lion" "sees" "cat" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "chases" "lion" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The bald eagle chases the cat.
Unknown
random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "+")
The cat does not see the bald eagle.
Unknown
inv-random
[@0: The cat sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bald eagle" "-")
The lion chases the bald eagle.
Unknown
random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle visits the cat.[(triple2)] The bald eagle visits the dog.[(triple3)] The cat sees the dog.[(triple4)] The cat visits the lion.[(triple5)] The dog visits the cat.[(triple6)] The lion visits the dog.[(triple7)] @1: The dog chases the lion.[(((triple3 triple2) -> rule8))] @2: The dog visits the bald eagle.[(((((triple3 triple2) -> rule8)) -> rule1))] @3: The dog sees the cat.[(((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3))] @4: The cat chases the lion.[(((((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3)) -> rule6))] @5: The cat visits the bald eagle.[(((((((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3)) -> rule6)) -> rule1))] @6: The cat sees the cat.[(((((((((((((triple3 triple2) -> rule8)) -> rule1)) -> rule3)) -> rule6)) -> rule1)) -> rule3))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple2
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple3
The cat sees the dog.
("cat" "sees" "dog" "+")
triple4
The cat visits the lion.
("cat" "visits" "lion" "+")
triple5
The dog visits the cat.
("dog" "visits" "cat" "+")
triple6
The lion visits the dog.
("lion" "visits" "dog" "+")
triple7
The dog chases the lion.
("dog" "chases" "lion" "+")
((triple3 triple2) -> (rule8 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((((triple3 triple2) -> (rule8 % int2))) -> (rule1 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
((((((triple3 triple2) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The dog sees the cat.
("dog" "sees" "cat" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The dog chases the lion.
("dog" "chases" "lion" "+")
int3
The cat chases the lion.
("cat" "chases" "lion" "+")
((((((((triple3 triple2) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The dog sees the cat.
("dog" "sees" "cat" "+")
int2
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int3
The dog chases the lion.
("dog" "chases" "lion" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((((((((((triple3 triple2) -> (rule8 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
The dog sees the cat.
("dog" "sees" "cat" "+")
int3
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int4
The dog chases the lion.
("dog" "chases" "lion" "+")
int5
The cat sees the cat.
("cat" "sees" "cat" "+")
((((((((((((triple3 triple2) -> (rule8 % int6))) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int2
The cat chases the lion.
("cat" "chases" "lion" "+")
int3
The dog sees the cat.
("dog" "sees" "cat" "+")
int4
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int5
The dog chases the lion.
("dog" "chases" "lion" "+")
int6