The dog is round. The squirrel visits the dog. If something is round then it chases the squirrel. If the dog is round and the dog is big then the dog eats the squirrel. If something visits the dog then the dog is young. If something eats the squirrel then the squirrel is young. If something chases the squirrel and it is round then the squirrel chases the dog. If something visits the dog and it visits the squirrel then it chases the squirrel.
The dog is round.
("dog" "is" "round" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
If something is round then it chases the squirrel.
((("something" "is" "round" "+")) -> ("something" "chases" "squirrel" "+"))
If the dog is round and the dog is big then the dog eats the squirrel.
((("dog" "is" "round" "+") ("dog" "is" "big" "+")) -> ("dog" "eats" "squirrel" "+"))
If something visits the dog then the dog is young.
((("something" "visits" "dog" "+")) -> ("dog" "is" "young" "+"))
If something eats the squirrel then the squirrel is young.
((("something" "eats" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If something chases the squirrel and it is round then the squirrel chases the dog.
((("something" "chases" "squirrel" "+") ("something" "is" "round" "+")) -> ("squirrel" "chases" "dog" "+"))
If something visits the dog and it visits the squirrel then it chases the squirrel.
((("something" "visits" "dog" "+") ("something" "visits" "squirrel" "+")) -> ("something" "chases" "squirrel" "+"))
The squirrel visits the dog.
True
1
proof
[(triple2)]
("squirrel" "visits" "dog" "+")
triple2
The squirrel does not visit the dog.
False
1
inv-proof
[(triple2)]
("squirrel" "visits" "dog" "-")
triple2
The dog is young.
True
2
proof
[(((triple2) -> rule3))]
("dog" "is" "young" "+")
((triple2) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
2
inv-proof
[(((triple2) -> rule3))]
("dog" "is" "young" "-")
((triple2) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The squirrel chases the dog.
True
4
proof
[(((((triple1) -> rule1) triple1) -> rule5))]
("squirrel" "chases" "dog" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int2
The squirrel does not chase the dog.
False
4
inv-proof
[(((((triple1) -> rule1) triple1) -> rule5))]
("squirrel" "chases" "dog" "-")
((((triple1) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int2
The dog does not eat the squirrel.
Unknown
inv-rconc
[@1: The dog eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "squirrel" "-")
The squirrel is young.
Unknown
rconc
[@2: The squirrel is young.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("squirrel" "is" "young" "+")
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is round.[(triple1)] The squirrel visits the dog.[(triple2)] @1: The dog chases the squirrel.[(((triple1) -> rule1))] The dog is young.[(((triple2) -> rule3))] @2: The squirrel chases the dog.[(((((triple1) -> rule1) triple1) -> rule5))]
The dog is round.
("dog" "is" "round" "+")
triple1
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple2
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((triple1) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple2) -> (rule3 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int2