The bear eats the cat. The bear does not eat the rabbit. The bear is nice. The bear is rough. The bear needs the rabbit. The bear visits the cat. The cat eats the bear. The cat eats the rabbit. The cat is red. The cat is rough. The cat needs the bear. The cat visits the rabbit. The rabbit does not eat the cat. The rabbit is nice. The rabbit is not red. The rabbit is young. If someone eats the cat then they are blue. Red people are blue. If someone is blue and they visit the rabbit then the rabbit visits the bear. If someone visits the rabbit and they are rough then the rabbit visits the cat. If someone is nice and they eat the cat then they are young. If someone visits the bear then the bear needs the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit is young.
("rabbit" "is" "young" "+")
If someone eats the cat then they are blue.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "blue" "+"))
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and they visit the rabbit then the rabbit visits the bear.
((("someone" "is" "blue" "+") ("someone" "visits" "rabbit" "+")) -> ("rabbit" "visits" "bear" "+"))
If someone visits the rabbit and they are rough then the rabbit visits the cat.
((("someone" "visits" "rabbit" "+") ("someone" "is" "rough" "+")) -> ("rabbit" "visits" "cat" "+"))
If someone is nice and they eat the cat then they are young.
((("someone" "is" "nice" "+") ("someone" "eats" "cat" "+")) -> ("someone" "is" "young" "+"))
If someone visits the bear then the bear needs the cat.
((("someone" "visits" "bear" "+")) -> ("bear" "needs" "cat" "+"))
The cat is rough.
True
1
proof
[(triple10)]
("cat" "is" "rough" "+")
triple10
The bear is not rough.
False
1
inv-proof
[(triple4)]
("bear" "is" "rough" "-")
triple4
The bear is blue.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The rabbit does not visit the cat.
False
3
inv-proof
[(((triple12 triple10) -> rule4))]
("rabbit" "visits" "cat" "-")
((triple12 triple10) -> (rule4 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit visits the bear.
True
4
proof
[(((((triple9) -> rule2) triple12) -> rule3))]
("rabbit" "visits" "bear" "+")
((((triple9) -> (rule2 % int2)) triple12) -> (rule3 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The rabbit does not visit the bear.
False
4
inv-proof
[(((((triple9) -> rule2) triple12) -> rule3))]
("rabbit" "visits" "bear" "-")
((((triple9) -> (rule2 % int2)) triple12) -> (rule3 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The bear needs the cat.
True
5
proof
[(((((((triple9) -> rule2) triple12) -> rule3)) -> rule6))]
("bear" "needs" "cat" "+")
((((((triple9) -> (rule2 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The bear does not need the cat.
False
5
inv-proof
[(((((((triple9) -> rule2) triple12) -> rule3)) -> rule6))]
("bear" "needs" "cat" "-")
((((((triple9) -> (rule2 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The cat is not young.
Unknown
inv-rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "young" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "blue" "+")
The cat does not need the cat.
Unknown
inv-random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The rabbit needs the cat.
Unknown
random
[@0: The rabbit needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "cat" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
@0: The bear does not eat the rabbit.[(triple2)] The bear eats the cat.[(triple1)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear needs the rabbit.[(triple5)] The bear visits the cat.[(triple6)] The cat eats the bear.[(triple7)] The cat eats the rabbit.[(triple8)] The cat is red.[(triple9)] The cat is rough.[(triple10)] The cat needs the bear.[(triple11)] The cat visits the rabbit.[(triple12)] The rabbit does not eat the cat.[(triple13)] The rabbit is nice.[(triple14)] The rabbit is not red.[(triple15)] The rabbit is young.[(triple16)] @1: The bear is blue.[(((triple1) -> rule1))] The bear is young.[(((triple3 triple1) -> rule5))] The cat is blue.[(((triple9) -> rule2))] The rabbit visits the cat.[(((triple12 triple10) -> rule4))] @2: The rabbit visits the bear.[(((((triple9) -> rule2) triple12) -> rule3))] @3: The bear needs the cat.[(((((((triple9) -> rule2) triple12) -> rule3)) -> rule6))]
The bear does not eat the rabbit.
("bear" "eats" "rabbit" "-")
triple2
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple5
The bear visits the cat.
("bear" "visits" "cat" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple8
The cat is red.
("cat" "is" "red" "+")
triple9
The cat is rough.
("cat" "is" "rough" "+")
triple10
The cat needs the bear.
("cat" "needs" "bear" "+")
triple11
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple12
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
triple13
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple14
The rabbit is not red.
("rabbit" "is" "red" "-")
triple15
The rabbit is young.
("rabbit" "is" "young" "+")
triple16
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule1 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is young.
("bear" "is" "young" "+")
((triple3 triple1) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
((triple9) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
((triple12 triple10) -> (rule4 % int1))
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((((triple9) -> (rule2 % int2)) triple12) -> (rule3 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The bear needs the cat.
("bear" "needs" "cat" "+")
((((((triple9) -> (rule2 % int3)) triple12) -> (rule3 % int2))) -> (rule6 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3