The bear chases the dog. The bear chases the mouse. The bear eats the cat. The bear does not eat the mouse. The bear is cold. The bear is round. The cat eats the bear. The cat is red. The dog chases the bear. The dog does not eat the cat. The mouse chases the cat. The mouse is blue. The mouse is kind. The mouse visits the bear. If someone chases the cat then they chase the dog. If someone visits the dog then they chase the cat. If someone is cold then they visit the dog. If someone eats the cat and the cat is kind then the cat is blue. If someone chases the mouse and they chase the cat then the cat visits the dog. If someone chases the mouse and they are red then the mouse chases the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is round.
("bear" "is" "round" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is red.
("cat" "is" "red" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog does not eat the cat.
("dog" "eats" "cat" "-")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone chases the cat then they chase the dog.
((("someone" "chases" "cat" "+")) -> ("someone" "chases" "dog" "+"))
If someone visits the dog then they chase the cat.
((("someone" "visits" "dog" "+")) -> ("someone" "chases" "cat" "+"))
If someone is cold then they visit the dog.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "dog" "+"))
If someone eats the cat and the cat is kind then the cat is blue.
((("someone" "eats" "cat" "+") ("cat" "is" "kind" "+")) -> ("cat" "is" "blue" "+"))
If someone chases the mouse and they chase the cat then the cat visits the dog.
((("someone" "chases" "mouse" "+") ("someone" "chases" "cat" "+")) -> ("cat" "visits" "dog" "+"))
If someone chases the mouse and they are red then the mouse chases the dog.
((("someone" "chases" "mouse" "+") ("someone" "is" "red" "+")) -> ("mouse" "chases" "dog" "+"))
The dog does not eat the cat.
True
1
proof
[(triple10)]
("dog" "eats" "cat" "-")
triple10
The mouse is not blue.
False
1
inv-proof
[(triple12)]
("mouse" "is" "blue" "-")
triple12
The bear visits the dog.
True
2
proof
[(((triple5) -> rule3))]
("bear" "visits" "dog" "+")
((triple5) -> (rule3 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The mouse does not chase the dog.
False
2
inv-proof
[(((triple11) -> rule1))]
("mouse" "chases" "dog" "-")
((triple11) -> (rule1 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The bear chases the cat.
True
3
proof
[(((((triple5) -> rule3)) -> rule2))]
("bear" "chases" "cat" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear does not chase the cat.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule2))]
("bear" "chases" "cat" "-")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The cat visits the dog.
True
5
proof
[(((triple2 ((((triple5) -> rule3)) -> rule2)) -> rule5))]
("cat" "visits" "dog" "+")
((triple2 ((((triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The cat does not visit the dog.
False
5
inv-proof
[(((triple2 ((((triple5) -> rule3)) -> rule2)) -> rule5))]
("cat" "visits" "dog" "-")
((triple2 ((((triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The cat chases the cat.
True
6
proof
[(((((triple2 ((((triple5) -> rule3)) -> rule2)) -> rule5)) -> rule2))]
("cat" "chases" "cat" "+")
((((triple2 ((((triple5) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat visits the dog.
("cat" "visits" "dog" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The bear visits the dog.
("bear" "visits" "dog" "+")
int4
The cat does not chase the cat.
False
6
inv-proof
[(((((triple2 ((((triple5) -> rule3)) -> rule2)) -> rule5)) -> rule2))]
("cat" "chases" "cat" "-")
((((triple2 ((((triple5) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat visits the dog.
("cat" "visits" "dog" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The bear visits the dog.
("bear" "visits" "dog" "+")
int4
The cat chases the dog.
True
7
proof
[(((((((triple2 ((((triple5) -> rule3)) -> rule2)) -> rule5)) -> rule2)) -> rule1))]
("cat" "chases" "dog" "+")
((((((triple2 ((((triple5) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat visits the dog.
("cat" "visits" "dog" "+")
int3
The bear chases the cat.
("bear" "chases" "cat" "+")
int4
The bear visits the dog.
("bear" "visits" "dog" "+")
int5
The cat does not chase the dog.
False
7
inv-proof
[(((((((triple2 ((((triple5) -> rule3)) -> rule2)) -> rule5)) -> rule2)) -> rule1))]
("cat" "chases" "dog" "-")
((((((triple2 ((((triple5) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat visits the dog.
("cat" "visits" "dog" "+")
int3
The bear chases the cat.
("bear" "chases" "cat" "+")
int4
The bear visits the dog.
("bear" "visits" "dog" "+")
int5
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "visits" "dog" "-")
The dog chases the dog.
Unknown
rconc
[@3: The dog chases the dog.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule3 <- FAIL)]]
("dog" "chases" "dog" "+")
The cat is not blue.
Unknown
inv-rconc
[@1: The cat is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "blue" "-")
The mouse visits the dog.
Unknown
rconc
[@1: The mouse visits the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "dog" "+")
The dog does not chase the cat.
Unknown
inv-rconc
[@2: The dog chases the cat.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("dog" "chases" "cat" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The bear does not visit the cat.
Unknown
inv-random
[@0: The bear visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cat" "-")
The bear visits the mouse.
Unknown
random
[@0: The bear visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "mouse" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The cat is kind.
Unknown
random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "+")
@0: The bear chases the dog.[(triple1 OR ((((((triple5) -> rule3)) -> rule2)) -> rule1))] The bear chases the mouse.[(triple2)] The bear does not eat the mouse.[(triple4)] The bear eats the cat.[(triple3)] The bear is cold.[(triple5)] The bear is round.[(triple6)] The cat eats the bear.[(triple7)] The cat is red.[(triple8)] The dog chases the bear.[(triple9)] The dog does not eat the cat.[(triple10)] The mouse chases the cat.[(triple11)] The mouse is blue.[(triple12)] The mouse is kind.[(triple13)] The mouse visits the bear.[(triple14)] @1: The bear visits the dog.[(((triple5) -> rule3))] The mouse chases the dog.[(((triple11) -> rule1))] @2: The bear chases the cat.[(((((triple5) -> rule3)) -> rule2))] @3: The cat visits the dog.[(((triple2 ((((triple5) -> rule3)) -> rule2)) -> rule5))] @4: The cat chases the cat.[(((((triple2 ((((triple5) -> rule3)) -> rule2)) -> rule5)) -> rule2))] @5: The cat chases the dog.[(((((((triple2 ((((triple5) -> rule3)) -> rule2)) -> rule5)) -> rule2)) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
((((((triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear chases the dog.
("bear" "chases" "dog" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat is red.
("cat" "is" "red" "+")
triple8
The dog chases the bear.
("dog" "chases" "bear" "+")
triple9
The dog does not eat the cat.
("dog" "eats" "cat" "-")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple12
The mouse is kind.
("mouse" "is" "kind" "+")
triple13
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple14
The bear visits the dog.
("bear" "visits" "dog" "+")
((triple5) -> (rule3 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
((triple11) -> (rule1 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
((((triple5) -> (rule3 % int2))) -> (rule2 % int1))
The bear chases the cat.
("bear" "chases" "cat" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The cat visits the dog.
("cat" "visits" "dog" "+")
((triple2 ((((triple5) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The cat visits the dog.
("cat" "visits" "dog" "+")
int1
The bear chases the cat.
("bear" "chases" "cat" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
int3
The cat chases the cat.
("cat" "chases" "cat" "+")
((((triple2 ((((triple5) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat visits the dog.
("cat" "visits" "dog" "+")
int2
The bear chases the cat.
("bear" "chases" "cat" "+")
int3
The bear visits the dog.
("bear" "visits" "dog" "+")
int4
The cat chases the dog.
("cat" "chases" "dog" "+")
((((((triple2 ((((triple5) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat visits the dog.
("cat" "visits" "dog" "+")
int3
The bear chases the cat.
("bear" "chases" "cat" "+")
int4
The bear visits the dog.
("bear" "visits" "dog" "+")
int5