Bob is round. Charlie is blue. Charlie is quiet. Charlie is red. Fiona is round. Fiona is smart. Harry is blue. Harry is cold. Harry is round. Harry is smart. All cold things are quiet. If something is red then it is smart. All cold things are rough. Smart, cold things are blue. Quiet, cold things are red. If something is blue and round then it is rough. All round things are cold.
Bob is smart.
@0: Bob is round.[(triple1)] Charlie is blue.[(triple2)] Charlie is quiet.[(triple3)] Charlie is red.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6 OR ((((((((triple5) -> rule7)) -> rule1) ((triple5) -> rule7)) -> rule5)) -> rule2))] Harry is blue.[(triple7 OR ((triple10 triple8) -> rule4) OR ((triple10 ((triple9) -> rule7)) -> rule4) OR ((((((((triple8) -> rule1) triple8) -> rule5)) -> rule2) triple8) -> rule4) OR ((((((((triple8) -> rule1) triple8) -> rule5)) -> rule2) ((triple9) -> rule7)) -> rule4) OR ((((((((triple8) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2) triple8) -> rule4) OR ((((((((triple8) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2) ((triple9) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule7)) -> rule1) triple8) -> rule5)) -> rule2) triple8) -> rule4) OR ((((((((((triple9) -> rule7)) -> rule1) triple8) -> rule5)) -> rule2) ((triple9) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2) triple8) -> rule4) OR ((((((((((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2) ((triple9) -> rule7)) -> rule4))] Harry is cold.[(triple8 OR ((triple9) -> rule7))] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((((((triple8) -> rule1) triple8) -> rule5)) -> rule2) OR ((((((triple8) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple9) -> rule7)) -> rule1) triple8) -> rule5)) -> rule2) OR ((((((((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2))] @1: Bob is cold.[(((triple1) -> rule7))] Charlie is smart.[(((triple4) -> rule2))] Fiona is cold.[(((triple5) -> rule7))] Harry is quiet.[(((triple8) -> rule1) OR ((((triple9) -> rule7)) -> rule1))] Harry is rough.[(((triple8) -> rule3) OR ((triple7 triple9) -> rule6) OR ((((triple9) -> rule7)) -> rule3) OR ((((triple10 triple8) -> rule4) triple9) -> rule6) OR ((((triple10 ((triple9) -> rule7)) -> rule4) triple9) -> rule6) OR ((((((((((triple8) -> rule1) triple8) -> rule5)) -> rule2) triple8) -> rule4) triple9) -> rule6) OR ((((((((((triple8) -> rule1) triple8) -> rule5)) -> rule2) ((triple9) -> rule7)) -> rule4) triple9) -> rule6) OR ((((((((((triple8) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2) triple8) -> rule4) triple9) -> rule6) OR ((((((((((triple8) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2) ((triple9) -> rule7)) -> rule4) triple9) -> rule6) OR ((((((((((((triple9) -> rule7)) -> rule1) triple8) -> rule5)) -> rule2) triple8) -> rule4) triple9) -> rule6) OR ((((((((((((triple9) -> rule7)) -> rule1) triple8) -> rule5)) -> rule2) ((triple9) -> rule7)) -> rule4) triple9) -> rule6) OR ((((((((((((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2) triple8) -> rule4) triple9) -> rule6) OR ((((((((((((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule5)) -> rule2) ((triple9) -> rule7)) -> rule4) triple9) -> rule6))] @2: Bob is quiet.[(((((triple1) -> rule7)) -> rule1))] Bob is rough.[(((((triple1) -> rule7)) -> rule3) OR ((((((((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule5)) -> rule2) ((triple1) -> rule7)) -> rule4) triple1) -> rule6))] Fiona is blue.[(((triple6 ((triple5) -> rule7)) -> rule4) OR ((((((((((triple5) -> rule7)) -> rule1) ((triple5) -> rule7)) -> rule5)) -> rule2) ((triple5) -> rule7)) -> rule4))] Fiona is quiet.[(((((triple5) -> rule7)) -> rule1))] Fiona is rough.[(((((triple5) -> rule7)) -> rule3) OR ((((triple6 ((triple5) -> rule7)) -> rule4) triple5) -> rule6) OR ((((((((((((triple5) -> rule7)) -> rule1) ((triple5) -> rule7)) -> rule5)) -> rule2) ((triple5) -> rule7)) -> rule4) triple5) -> rule6))] Harry is red.[(((((triple8) -> rule1) triple8) -> rule5) OR ((((triple8) -> rule1) ((triple9) -> rule7)) -> rule5) OR ((((((triple9) -> rule7)) -> rule1) triple8) -> rule5) OR ((((((triple9) -> rule7)) -> rule1) ((triple9) -> rule7)) -> rule5))] @3: Bob is red.[(((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule5))] Fiona is red.[(((((((triple5) -> rule7)) -> rule1) ((triple5) -> rule7)) -> rule5))] @4: Bob is smart.[(((((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule5)) -> rule2))] @5: Bob is blue.[(((((((((((triple1) -> rule7)) -> rule1) ((triple1) -> rule7)) -> rule5)) -> rule2) ((triple1) -> rule7)) -> rule4))]