The dog is big. The dog is green. The dog is kind. If the dog is kind and the dog is red then the dog is green. All big things are not red.
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
If the dog is kind and the dog is red then the dog is green.
((("dog" "is" "kind" "+") ("dog" "is" "red" "+")) -> ("dog" "is" "green" "+"))
All big things are not red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "-"))
The dog is kind.
True
1
proof
[(triple3)]
("dog" "is" "kind" "+")
triple3
The dog is not green.
False
1
inv-proof
[(triple2)]
("dog" "is" "green" "-")
triple2
The dog is not red.
True
2
proof
[(((triple1) -> rule2))]
("dog" "is" "red" "-")
((triple1) -> (rule2 % int1))
The dog is not red.
("dog" "is" "red" "-")
int1
The dog is red.
False
2
inv-proof
[(((triple1) -> rule2))]
("dog" "is" "red" "+")
((triple1) -> (rule2 % int1))
The dog is not red.
("dog" "is" "red" "-")
int1
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 dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is kind.[(triple3)] @1: The dog is not red.[(((triple1) -> rule2))]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is not red.
("dog" "is" "red" "-")
((triple1) -> (rule2 % int1))
The dog is not red.
("dog" "is" "red" "-")
int1