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