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