Erin is not kind. Erin is rough. Erin is white. Fiona is rough. Fiona is white. Gary is not cold. Gary is not furry. Gary is nice. Gary is not rough. Gary is smart. Harry is not cold. Harry is not furry. Harry is not kind. Harry is nice. Harry is rough. Harry is not smart. If someone is kind and not smart then they are rough.
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is not furry.
("Harry" "is" "furry" "-")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not smart.
("Harry" "is" "smart" "-")
If someone is kind and not smart then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "+"))
Fiona is white.
True
1
proof
[(triple5)]
("Fiona" "is" "white" "+")
triple5
Gary is furry.
False
1
inv-proof
[(triple7)]
("Gary" "is" "furry" "+")
triple7
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Erin is not kind.[(triple1)] Erin is rough.[(triple2)] Erin is white.[(triple3)] Fiona is rough.[(triple4)] Fiona is white.[(triple5)] Gary is nice.[(triple8)] Gary is not cold.[(triple6)] Gary is not furry.[(triple7)] Gary is not rough.[(triple9)] Gary is smart.[(triple10)] Harry is nice.[(triple14)] Harry is not cold.[(triple11)] Harry is not furry.[(triple12)] Harry is not kind.[(triple13)] Harry is not smart.[(triple16)] Harry is rough.[(triple15)]
Erin is not kind.
("Erin" "is" "kind" "-")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Fiona is rough.
("Fiona" "is" "rough" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not cold.
("Gary" "is" "cold" "-")
triple6
Gary is not furry.
("Gary" "is" "furry" "-")
triple7
Gary is not rough.
("Gary" "is" "rough" "-")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple14
Harry is not cold.
("Harry" "is" "cold" "-")
triple11
Harry is not furry.
("Harry" "is" "furry" "-")
triple12
Harry is not kind.
("Harry" "is" "kind" "-")
triple13
Harry is not smart.
("Harry" "is" "smart" "-")
triple16
Harry is rough.
("Harry" "is" "rough" "+")
triple15