The bear chases the dog. The bear chases the squirrel. The dog chases the bear. The dog chases the squirrel. The rabbit is nice. The squirrel is big. The squirrel likes the bear. If something likes the bear then it is young. If something is young then it chases the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
If something likes the bear then it is young.
((("something" "likes" "bear" "+")) -> ("something" "is" "young" "+"))
If something is young then it chases the dog.
((("something" "is" "young" "+")) -> ("something" "chases" "dog" "+"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The dog does not chase the bear.
False
1
inv-proof
[(triple3)]
("dog" "chases" "bear" "-")
triple3
The squirrel is young.
True
2
proof
[(((triple7) -> rule1))]
("squirrel" "is" "young" "+")
((triple7) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel is not young.
False
2
inv-proof
[(((triple7) -> rule1))]
("squirrel" "is" "young" "-")
((triple7) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the dog.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("squirrel" "chases" "dog" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The squirrel does not chase the dog.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("squirrel" "chases" "dog" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2
The dog does not chase the dog.
Unknown
inv-rconc
[@2: The dog chases the dog.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("dog" "chases" "dog" "-")
The rabbit is young.
Unknown
rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "young" "+")
The rabbit does not chase the dog.
Unknown
inv-rconc
[@2: The rabbit chases the dog.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("rabbit" "chases" "dog" "-")
The bear likes the squirrel.
Unknown
random
[@0: The bear likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "squirrel" "+")
The bear does not need the squirrel.
Unknown
inv-random
[@0: The bear needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "squirrel" "-")
The dog needs the rabbit.
Unknown
random
[@0: The dog needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "rabbit" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the squirrel.[(triple2)] The dog chases the bear.[(triple3)] The dog chases the squirrel.[(triple4)] The rabbit is nice.[(triple5)] The squirrel is big.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The squirrel is young.[(((triple7) -> rule1))] @2: The squirrel chases the dog.[(((((triple7) -> rule1)) -> rule2))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple2
The dog chases the bear.
("dog" "chases" "bear" "+")
triple3
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple4
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
((triple7) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The squirrel is young.
("squirrel" "is" "young" "+")
int2