The dog is not big. The dog is blue. The dog is kind. The dog is not nice. The dog is red. If someone is big and not nice then they are kind. If someone is big and not nice then they are kind. Big, red people are kind. If the dog is nice and the dog is red then the dog is not kind. If the dog is nice and the dog is blue then the dog is kind. If the dog is red and the dog is not blue then the dog is big.
The dog is not big.
("dog" "is" "big" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog is red.
("dog" "is" "red" "+")
If someone is big and not nice then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "kind" "+"))
If someone is big and not nice then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "kind" "+"))
Big, red people are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If the dog is nice and the dog is red then the dog is not kind.
((("dog" "is" "nice" "+") ("dog" "is" "red" "+")) -> ("dog" "is" "kind" "-"))
If the dog is nice and the dog is blue then the dog is kind.
((("dog" "is" "nice" "+") ("dog" "is" "blue" "+")) -> ("dog" "is" "kind" "+"))
If the dog is red and the dog is not blue then the dog is big.
((("dog" "is" "red" "+") ("dog" "is" "blue" "~")) -> ("dog" "is" "big" "+"))
The dog is red.
True
1
proof
[(triple5)]
("dog" "is" "red" "+")
triple5
The dog is big.
False
1
inv-proof
[(triple1)]
("dog" "is" "big" "+")
triple1
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The dog is blue.[(triple2)] The dog is kind.[(triple3)] The dog is not big.[(triple1)] The dog is not nice.[(triple4)] The dog is red.[(triple5)]
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is not big.
("dog" "is" "big" "-")
triple1
The dog is not nice.
("dog" "is" "nice" "-")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5