Bob is cold. Bob is smart. Charlie is quiet. Charlie is smart. Erin is round. Erin is smart. Erin is young. Fiona is rough. Fiona is smart. Fiona is young. Quiet things are round. If something is round then it is cold. If something is cold then it is nice. All young, smart things are round. Young, cold things are rough. Rough, quiet things are cold.
Bob is quiet.
@0: Bob is cold.[(triple1)] Bob is smart.[(triple2)] Charlie is quiet.[(triple3)] Charlie is smart.[(triple4)] Erin is round.[(triple5 OR ((triple7 triple6) -> rule4))] Erin is smart.[(triple6)] Erin is young.[(triple7)] Fiona is rough.[(triple8 OR ((triple10 ((((triple10 triple9) -> rule4)) -> rule2)) -> rule5))] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Bob is nice.[(((triple1) -> rule3))] Charlie is round.[(((triple3) -> rule1))] Erin is cold.[(((triple5) -> rule2) OR ((((triple7 triple6) -> rule4)) -> rule2))] Fiona is round.[(((triple10 triple9) -> rule4))] @2: Charlie is cold.[(((((triple3) -> rule1)) -> rule2))] Erin is nice.[(((((triple5) -> rule2)) -> rule3) OR ((((((triple7 triple6) -> rule4)) -> rule2)) -> rule3))] Erin is rough.[(((triple7 ((triple5) -> rule2)) -> rule5) OR ((triple7 ((((triple7 triple6) -> rule4)) -> rule2)) -> rule5))] Fiona is cold.[(((((triple10 triple9) -> rule4)) -> rule2))] @3: Charlie is nice.[(((((((triple3) -> rule1)) -> rule2)) -> rule3))] Fiona is nice.[(((((((triple10 triple9) -> rule4)) -> rule2)) -> rule3))]