Dave is blue. Dave is cold. Fiona is blue. Fiona is furry. Fiona is quiet. Harry is furry. Harry is nice. If Harry is not blue then Harry is not round.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If Harry is not blue then Harry is not round.
((("Harry" "is" "blue" "~")) -> ("Harry" "is" "round" "-"))
Dave is cold.
True
1
proof
[(triple2)]
("Dave" "is" "cold" "+")
triple2
Harry is not furry.
False
1
inv-proof
[(triple6)]
("Harry" "is" "furry" "-")
triple6
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Fiona is blue.[(triple3)] Fiona is furry.[(triple4)] Fiona is quiet.[(triple5)] Harry is furry.[(triple6)] Harry is nice.[(triple7)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple7