Dave is furry. Dave is kind. Dave is nice. Dave is smart. Fiona is furry. Fiona is kind. Fiona is not smart. Harry is furry. Harry is not kind. Harry is not nice. If Harry is smart and Harry is not kind then Harry is furry.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is not nice.
("Harry" "is" "nice" "-")
If Harry is smart and Harry is not kind then Harry is furry.
((("Harry" "is" "smart" "+") ("Harry" "is" "kind" "~")) -> ("Harry" "is" "furry" "+"))
Harry is furry.
True
1
proof
[(triple8)]
("Harry" "is" "furry" "+")
triple8
Dave is not kind.
False
1
inv-proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is smart.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Fiona is not smart.[(triple7)] Harry is furry.[(triple8)] Harry is not kind.[(triple9)] Harry is not nice.[(triple10)]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is not kind.
("Harry" "is" "kind" "-")
triple9
Harry is not nice.
("Harry" "is" "nice" "-")
triple10