The dog is cold. The dog is green. The dog is not kind. The dog is round. The dog is young. If something is young and not green then it is round.
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
If something is young and not green then it is round.
((("something" "is" "young" "+") ("something" "is" "green" "~")) -> ("something" "is" "round" "+"))
The dog is round.
True
1
proof
[(triple4)]
("dog" "is" "round" "+")
triple4
The dog is not round.
False
1
inv-proof
[(triple4)]
("dog" "is" "round" "-")
triple4
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 likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The dog is cold.[(triple1)] The dog is green.[(triple2)] The dog is not kind.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is not kind.
("dog" "is" "kind" "-")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5