The dog is blue. The dog is kind. The dog is rough. If someone is red then they are rough. All red, young people are rough. If someone is rough then they are red.
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
If someone is red then they are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
All red, young people are rough.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
The dog is kind.
True
1
proof
[(triple2)]
("dog" "is" "kind" "+")
triple2
The dog is not kind.
False
1
inv-proof
[(triple2)]
("dog" "is" "kind" "-")
triple2
The dog is red.
True
2
proof
[(((triple3) -> rule3))]
("dog" "is" "red" "+")
((triple3) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple3) -> rule3))]
("dog" "is" "red" "-")
((triple3) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog does not eat the dog.
Unknown
inv-random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog is blue.[(triple1)] The dog is kind.[(triple2)] The dog is rough.[(triple3)] @1: The dog is red.[(((triple3) -> rule3))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
((triple3) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1