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