The cow is cold. The cow is kind. The cow is red. The cow is young. The cow sees the squirrel. The dog chases the cow. The dog chases the squirrel. The dog is kind. The dog is red. The dog is round. The dog needs the cow. The dog needs the squirrel. The dog sees the cow. The squirrel is young. The squirrel needs the cow. The squirrel sees the dog. If something sees the dog then the dog is round. If something is kind then it sees the squirrel. If something sees the squirrel and it chases the squirrel then the squirrel chases the cow.
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
If something sees the dog then the dog is round.
((("something" "sees" "dog" "+")) -> ("dog" "is" "round" "+"))
If something is kind then it sees the squirrel.
((("something" "is" "kind" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the squirrel and it chases the squirrel then the squirrel chases the cow.
((("something" "sees" "squirrel" "+") ("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "cow" "+"))
The dog is round.
True
1
proof
[(triple10 OR ((triple16) -> rule1))]
("dog" "is" "round" "+")
triple10
((triple16) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog is not round.
False
1
inv-proof
[(triple10 OR ((triple16) -> rule1))]
("dog" "is" "round" "-")
triple10
((triple16) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog sees the squirrel.
True
2
proof
[(((triple8) -> rule2))]
("dog" "sees" "squirrel" "+")
((triple8) -> (rule2 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The dog does not see the squirrel.
False
2
inv-proof
[(((triple8) -> rule2))]
("dog" "sees" "squirrel" "-")
((triple8) -> (rule2 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The squirrel chases the cow.
True
4
proof
[(((((triple8) -> rule2) triple7) -> rule3))]
("squirrel" "chases" "cow" "+")
((((triple8) -> (rule2 % int2)) triple7) -> (rule3 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The squirrel does not chase the cow.
False
4
inv-proof
[(((((triple8) -> rule2) triple7) -> rule3))]
("squirrel" "chases" "cow" "-")
((((triple8) -> (rule2 % int2)) triple7) -> (rule3 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The cow needs the dog.
Unknown
random
[@0: The cow needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "dog" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
The squirrel does not need the dog.
Unknown
inv-random
[@0: The squirrel needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "dog" "-")
The cow sees the dog.
Unknown
random
[@0: The cow sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "dog" "+")
@0: The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow is red.[(triple3)] The cow is young.[(triple4)] The cow sees the squirrel.[(triple5 OR ((triple2) -> rule2))] The dog chases the cow.[(triple6)] The dog chases the squirrel.[(triple7)] The dog is kind.[(triple8)] The dog is red.[(triple9)] The dog is round.[(triple10 OR ((triple16) -> rule1))] The dog needs the cow.[(triple11)] The dog needs the squirrel.[(triple12)] The dog sees the cow.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel sees the dog.[(triple16)] @1: The dog sees the squirrel.[(((triple8) -> rule2))] @2: The squirrel chases the cow.[(((((triple8) -> rule2) triple7) -> rule3))]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is red.
("cow" "is" "red" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple5
((triple2) -> (rule2 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog is round.
("dog" "is" "round" "+")
triple10
((triple16) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
triple11
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple12
The dog sees the cow.
("dog" "sees" "cow" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple15
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple16
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
((triple8) -> (rule2 % int1))
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((((triple8) -> (rule2 % int2)) triple7) -> (rule3 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
int2