The dog chases the squirrel. The dog eats the squirrel. The dog is kind. The dog is rough. The dog is young. The dog sees the squirrel. The squirrel eats the dog. The squirrel is big. The squirrel is kind. The squirrel sees the dog. If something sees the squirrel then it sees the dog. If something is rough and it sees the dog then it chases the dog.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something sees the squirrel then it sees the dog.
((("something" "sees" "squirrel" "+")) -> ("something" "sees" "dog" "+"))
If something is rough and it sees the dog then it chases the dog.
((("something" "is" "rough" "+") ("something" "sees" "dog" "+")) -> ("something" "chases" "dog" "+"))
The dog eats the squirrel.
True
1
proof
[(triple2)]
("dog" "eats" "squirrel" "+")
triple2
The dog is not kind.
False
1
inv-proof
[(triple3)]
("dog" "is" "kind" "-")
triple3
The dog sees the dog.
True
2
proof
[(((triple6) -> rule1))]
("dog" "sees" "dog" "+")
((triple6) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not see the dog.
False
2
inv-proof
[(((triple6) -> rule1))]
("dog" "sees" "dog" "-")
((triple6) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog chases the dog.
True
4
proof
[(((triple4 ((triple6) -> rule1)) -> rule2))]
("dog" "chases" "dog" "+")
((triple4 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog does not chase the dog.
False
4
inv-proof
[(((triple4 ((triple6) -> rule1)) -> rule2))]
("dog" "chases" "dog" "-")
((triple4 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The squirrel does not chase the dog.
Unknown
inv-rconc
[@1: The squirrel chases the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "dog" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The dog is not big.
Unknown
inv-random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The squirrel is young.
Unknown
random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "+")
@0: The dog chases the squirrel.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is kind.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5)] The dog sees the squirrel.[(triple6)] The squirrel eats the dog.[(triple7)] The squirrel is big.[(triple8)] The squirrel is kind.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The dog sees the dog.[(((triple6) -> rule1))] @2: The dog chases the dog.[(((triple4 ((triple6) -> rule1)) -> rule2))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple6
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple7
The squirrel is big.
("squirrel" "is" "big" "+")
triple8
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple9
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple10
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple6) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple4 ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2