The bear likes the cow. The cow does not eat the bear. The cow eats the rabbit. The cow does not like the rabbit. The cow visits the dog. The dog likes the bear. The dog likes the cow. The dog does not visit the bear. The rabbit eats the cow. The rabbit is cold. The rabbit is nice. If something is kind then it is cold. If the dog visits the cow and the dog likes the bear then the dog eats the rabbit. If the cow visits the dog then the cow visits the rabbit. If something likes the dog and it visits the bear then it is red. If something visits the rabbit and it visits the dog then it is kind. If something visits the dog then the dog eats the bear. If the cow is cold then the cow likes the dog. If something eats the rabbit then it visits the bear. If something visits the bear then the bear likes the cow.
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow does not eat the bear.
("cow" "eats" "bear" "-")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog does not visit the bear.
("dog" "visits" "bear" "-")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If the dog visits the cow and the dog likes the bear then the dog eats the rabbit.
((("dog" "visits" "cow" "+") ("dog" "likes" "bear" "+")) -> ("dog" "eats" "rabbit" "+"))
If the cow visits the dog then the cow visits the rabbit.
((("cow" "visits" "dog" "+")) -> ("cow" "visits" "rabbit" "+"))
If something likes the dog and it visits the bear then it is red.
((("something" "likes" "dog" "+") ("something" "visits" "bear" "+")) -> ("something" "is" "red" "+"))
If something visits the rabbit and it visits the dog then it is kind.
((("something" "visits" "rabbit" "+") ("something" "visits" "dog" "+")) -> ("something" "is" "kind" "+"))
If something visits the dog then the dog eats the bear.
((("something" "visits" "dog" "+")) -> ("dog" "eats" "bear" "+"))
If the cow is cold then the cow likes the dog.
((("cow" "is" "cold" "+")) -> ("cow" "likes" "dog" "+"))
If something eats the rabbit then it visits the bear.
((("something" "eats" "rabbit" "+")) -> ("something" "visits" "bear" "+"))
If something visits the bear then the bear likes the cow.
((("something" "visits" "bear" "+")) -> ("bear" "likes" "cow" "+"))
The rabbit is nice.
True
1
proof
[(triple11)]
("rabbit" "is" "nice" "+")
triple11
The dog visits the bear.
False
1
inv-proof
[(triple8)]
("dog" "visits" "bear" "+")
triple8
The cow visits the bear.
True
2
proof
[(((triple3) -> rule8))]
("cow" "visits" "bear" "+")
((triple3) -> (rule8 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow does not visit the rabbit.
False
2
inv-proof
[(((triple5) -> rule3))]
("cow" "visits" "rabbit" "-")
((triple5) -> (rule3 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The cow is kind.
True
4
proof
[(((((triple5) -> rule3) triple5) -> rule5))]
("cow" "is" "kind" "+")
((((triple5) -> (rule3 % int2)) triple5) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The cow is not kind.
False
4
inv-proof
[(((((triple5) -> rule3) triple5) -> rule5))]
("cow" "is" "kind" "-")
((((triple5) -> (rule3 % int2)) triple5) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The cow is cold.
True
5
proof
[(((((((triple5) -> rule3) triple5) -> rule5)) -> rule1))]
("cow" "is" "cold" "+")
((((((triple5) -> (rule3 % int3)) triple5) -> (rule5 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int3
The cow is not cold.
False
5
inv-proof
[(((((((triple5) -> rule3) triple5) -> rule5)) -> rule1))]
("cow" "is" "cold" "-")
((((((triple5) -> (rule3 % int3)) triple5) -> (rule5 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int3
The cow likes the dog.
True
6
proof
[(((((((((triple5) -> rule3) triple5) -> rule5)) -> rule1)) -> rule7))]
("cow" "likes" "dog" "+")
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow does not like the dog.
False
6
inv-proof
[(((((((((triple5) -> rule3) triple5) -> rule5)) -> rule1)) -> rule7))]
("cow" "likes" "dog" "-")
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is red.
True
9
proof
[(((((((((((triple5) -> rule3) triple5) -> rule5)) -> rule1)) -> rule7) ((triple3) -> rule8)) -> rule4))]
("cow" "is" "red" "+")
((((((((((triple5) -> (rule3 % int6)) triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3) -> (rule8 % int2))) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The cow is not red.
False
9
inv-proof
[(((((((((((triple5) -> rule3) triple5) -> rule5)) -> rule1)) -> rule7) ((triple3) -> rule8)) -> rule4))]
("cow" "is" "red" "-")
((((((((((triple5) -> (rule3 % int6)) triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3) -> (rule8 % int2))) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "kind" "-")
The bear is cold.
Unknown
rconc
[@2: The bear is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("bear" "is" "cold" "+")
The bear is not red.
Unknown
inv-rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "red" "-")
The dog is cold.
Unknown
rconc
[@2: The dog is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("dog" "is" "cold" "+")
The bear does not visit the bear.
Unknown
inv-rconc
[@1: The bear visits the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "visits" "bear" "-")
The rabbit visits the bear.
Unknown
rconc
[@1: The rabbit visits the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "visits" "bear" "+")
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 dog likes the rabbit.
Unknown
random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
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 cow is blue.
Unknown
random
[@0: The cow is blue.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "blue" "+")
@0: The bear likes the cow.[(triple1 OR ((((triple3) -> rule8)) -> rule9))] The cow does not eat the bear.[(triple2)] The cow does not like the rabbit.[(triple4)] The cow eats the rabbit.[(triple3)] The cow visits the dog.[(triple5)] The dog does not visit the bear.[(triple8)] The dog likes the bear.[(triple6)] The dog likes the cow.[(triple7)] The rabbit eats the cow.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is nice.[(triple11)] @1: The cow visits the bear.[(((triple3) -> rule8))] The cow visits the rabbit.[(((triple5) -> rule3))] The dog eats the bear.[(((triple5) -> rule6))] @2: The cow is kind.[(((((triple5) -> rule3) triple5) -> rule5))] @3: The cow is cold.[(((((((triple5) -> rule3) triple5) -> rule5)) -> rule1))] @4: The cow likes the dog.[(((((((((triple5) -> rule3) triple5) -> rule5)) -> rule1)) -> rule7))] @5: The cow is red.[(((((((((((triple5) -> rule3) triple5) -> rule5)) -> rule1)) -> rule7) ((triple3) -> rule8)) -> rule4))]
The bear likes the cow.
("bear" "likes" "cow" "+")
triple1
((((triple3) -> (rule8 % int2))) -> (rule9 % int1))
The bear likes the cow.
("bear" "likes" "cow" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow does not eat the bear.
("cow" "eats" "bear" "-")
triple2
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
triple4
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple3
The cow visits the dog.
("cow" "visits" "dog" "+")
triple5
The dog does not visit the bear.
("dog" "visits" "bear" "-")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple6
The dog likes the cow.
("dog" "likes" "cow" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The cow visits the bear.
("cow" "visits" "bear" "+")
((triple3) -> (rule8 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
((triple5) -> (rule3 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
((triple5) -> (rule6 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((((triple5) -> (rule3 % int2)) triple5) -> (rule5 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
((((((triple5) -> (rule3 % int3)) triple5) -> (rule5 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int3
The cow likes the dog.
("cow" "likes" "dog" "+")
((((((((triple5) -> (rule3 % int4)) triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int4
The cow is red.
("cow" "is" "red" "+")
((((((((((triple5) -> (rule3 % int6)) triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule7 % int3)) ((triple3) -> (rule8 % int2))) -> (rule4 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow is cold.
("cow" "is" "cold" "+")
int4
The cow is kind.
("cow" "is" "kind" "+")
int5
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int6