The dog is big. The dog is not blue. The dog is red. The dog is round. The dog is not young. If the dog is blue then the dog is round. All young people are blue. If the dog is blue then the dog is not red. Young, big people are round. If someone is blue and red then they are big. If someone is blue and not red then they are big.
The dog is big.
("dog" "is" "big" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is not young.
("dog" "is" "young" "-")
If the dog is blue then the dog is round.
((("dog" "is" "blue" "+")) -> ("dog" "is" "round" "+"))
All young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If the dog is blue then the dog is not red.
((("dog" "is" "blue" "+")) -> ("dog" "is" "red" "-"))
Young, big people are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and not red then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "big" "+"))
The dog is red.
True
1
proof
[(triple3)]
("dog" "is" "red" "+")
triple3
The dog is not red.
False
1
inv-proof
[(triple3)]
("dog" "is" "red" "-")
triple3
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" "+")
@0: The dog is big.[(triple1)] The dog is not blue.[(triple2)] The dog is not young.[(triple5)] The dog is red.[(triple3)] The dog is round.[(triple4)]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is not blue.
("dog" "is" "blue" "-")
triple2
The dog is not young.
("dog" "is" "young" "-")
triple5
The dog is red.
("dog" "is" "red" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4