Charlie is furry. Charlie is not green. Charlie is kind. Charlie is not nice. Charlie is rough. Charlie is round. Dave is furry. Dave is not kind. Dave is rough. Dave is not round. Harry is furry. Harry is not green. Harry is kind. Harry is nice. Harry is not round. Harry is smart. If Dave is round then Dave is not furry.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is not kind.
("Dave" "is" "kind" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is not round.
("Dave" "is" "round" "-")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If Dave is round then Dave is not furry.
((("Dave" "is" "round" "+")) -> ("Dave" "is" "furry" "-"))
Charlie is furry.
True
1
proof
[(triple1)]
("Charlie" "is" "furry" "+")
triple1
Charlie is not kind.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "kind" "-")
triple3
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Charlie is furry.[(triple1)] Charlie is kind.[(triple3)] Charlie is not green.[(triple2)] Charlie is not nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Dave is furry.[(triple7)] Dave is not kind.[(triple8)] Dave is not round.[(triple10)] Dave is rough.[(triple9)] Harry is furry.[(triple11)] Harry is kind.[(triple13)] Harry is nice.[(triple14)] Harry is not green.[(triple12)] Harry is not round.[(triple15)] Harry is smart.[(triple16)]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is not kind.
("Dave" "is" "kind" "-")
triple8
Dave is not round.
("Dave" "is" "round" "-")
triple10
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is not green.
("Harry" "is" "green" "-")
triple12
Harry is not round.
("Harry" "is" "round" "-")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16