The dog is green. The dog is rough. The dog needs the squirrel. The dog visits the squirrel. The squirrel is kind. The squirrel is round. The squirrel likes the dog. Green things are kind.
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
Green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
The squirrel is kind.
True
1
proof
[(triple5)]
("squirrel" "is" "kind" "+")
triple5
The dog does not visit the squirrel.
False
1
inv-proof
[(triple4)]
("dog" "visits" "squirrel" "-")
triple4
The dog is kind.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "kind" "-")
((triple1) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
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 squirrel is green.
Unknown
random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "+")
The dog is not round.
Unknown
inv-random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The dog is green.[(triple1)] The dog is rough.[(triple2)] The dog needs the squirrel.[(triple3)] The dog visits the squirrel.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is round.[(triple6)] The squirrel likes the dog.[(triple7)] @1: The dog is kind.[(((triple1) -> rule1))]
The dog is green.
("dog" "is" "green" "+")
triple1
The dog is rough.
("dog" "is" "rough" "+")
triple2
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple3
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple5
The squirrel is round.
("squirrel" "is" "round" "+")
triple6
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
((triple1) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1