The bear is big. The bear is blue. The bear needs the cat. The bear visits the squirrel. The cat chases the bear. The cat chases the rabbit. The cat is blue. The cat is not nice. The cat needs the bear. The rabbit chases the bear. The rabbit chases the cat. The rabbit chases the squirrel. The rabbit is red. The rabbit visits the bear. The squirrel is nice. The squirrel needs the bear. If something visits the rabbit and it does not need the squirrel then the rabbit is young. If something chases the squirrel then the squirrel visits the cat. If something visits the cat then the cat does not visit the squirrel.
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat needs the bear.
("cat" "needs" "bear" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
If something visits the rabbit and it does not need the squirrel then the rabbit is young.
((("something" "visits" "rabbit" "+") ("something" "needs" "squirrel" "~")) -> ("rabbit" "is" "young" "+"))
If something chases the squirrel then the squirrel visits the cat.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "visits" "cat" "+"))
If something visits the cat then the cat does not visit the squirrel.
((("something" "visits" "cat" "+")) -> ("cat" "visits" "squirrel" "-"))
The cat chases the rabbit.
True
1
proof
[(triple6)]
("cat" "chases" "rabbit" "+")
triple6
The rabbit does not visit the bear.
False
1
inv-proof
[(triple14)]
("rabbit" "visits" "bear" "-")
triple14
The squirrel visits the cat.
True
2
proof
[(((triple12) -> rule2))]
("squirrel" "visits" "cat" "+")
((triple12) -> (rule2 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The squirrel does not visit the cat.
False
2
inv-proof
[(((triple12) -> rule2))]
("squirrel" "visits" "cat" "-")
((triple12) -> (rule2 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The cat does not visit the squirrel.
True
3
proof
[(((((triple12) -> rule2)) -> rule3))]
("cat" "visits" "squirrel" "-")
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The cat visits the squirrel.
False
3
inv-proof
[(((((triple12) -> rule2)) -> rule3))]
("cat" "visits" "squirrel" "+")
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "young" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The cat does not chase the squirrel.
Unknown
inv-random
[@0: The cat chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "squirrel" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear needs the cat.[(triple3)] The bear visits the squirrel.[(triple4)] The cat chases the bear.[(triple5)] The cat chases the rabbit.[(triple6)] The cat is blue.[(triple7)] The cat is not nice.[(triple8)] The cat needs the bear.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit chases the cat.[(triple11)] The rabbit chases the squirrel.[(triple12)] The rabbit is red.[(triple13)] The rabbit visits the bear.[(triple14)] The squirrel is nice.[(triple15)] The squirrel needs the bear.[(triple16)] @1: The squirrel visits the cat.[(((triple12) -> rule2))] @2: The cat does not visit the squirrel.[(((((triple12) -> rule2)) -> rule3))]
The bear is big.
("bear" "is" "big" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear needs the cat.
("bear" "needs" "cat" "+")
triple3
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple4
The cat chases the bear.
("cat" "chases" "bear" "+")
triple5
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple7
The cat is not nice.
("cat" "is" "nice" "-")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple10
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple11
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple12
The rabbit is red.
("rabbit" "is" "red" "+")
triple13
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple14
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple15
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple16
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
((triple12) -> (rule2 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
int1
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int2