The dog is big. The dog is blue. The dog is kind. The dog is not nice. The dog is round. All big, nice people are round. If someone is kind and not blue then they are nice.
The dog is 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 round.
("dog" "is" "round" "+")
All big, nice people are round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and not blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "nice" "+"))
The dog is kind.
True
1
proof
[(triple3)]
("dog" "is" "kind" "+")
triple3
The dog is not round.
False
1
inv-proof
[(triple5)]
("dog" "is" "round" "-")
triple5
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
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 big.[(triple1)] The dog is blue.[(triple2)] The dog is kind.[(triple3)] The dog is not nice.[(triple4)] The dog is round.[(triple5)]
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The dog is not nice.
("dog" "is" "nice" "-")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5