Bob is cold. Bob is red. Bob is round. Bob is smart. Charlie is green. Charlie is red. Charlie is round. Charlie is smart. Fiona is blue. Fiona is cold. Fiona is quiet. Harry is green. Harry is quiet. Harry is red. Harry is round. All smart, red things are cold. If Harry is smart then Harry is green. If Bob is round then Bob is quiet. All quiet, smart things are blue. Cold things are red. All quiet things are cold.
Bob is not round.
@0: Bob is cold.[(triple1 OR ((triple4 triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule6))] Bob is red.[(triple2 OR ((triple1) -> rule5) OR ((((((triple3) -> rule3)) -> rule6)) -> rule5))] Bob is round.[(triple3)] Bob is smart.[(triple4)] Charlie is green.[(triple5)] Charlie is red.[(triple6)] Charlie is round.[(triple7)] Charlie is smart.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10 OR ((triple11) -> rule6))] Fiona is quiet.[(triple11)] Harry is green.[(triple12)] Harry is quiet.[(triple13)] Harry is red.[(triple14 OR ((((triple13) -> rule6)) -> rule5))] Harry is round.[(triple15)] @1: Bob is quiet.[(((triple3) -> rule3))] Charlie is cold.[(((triple8 triple6) -> rule1))] Fiona is red.[(((triple10) -> rule5) OR ((((triple11) -> rule6)) -> rule5))] Harry is cold.[(((triple13) -> rule6))] @2: Bob is blue.[(((((triple3) -> rule3) triple4) -> rule4))]