Dave is blue. Dave is cold. Dave is nice. Dave is quiet. Dave is smart. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Erin is smart. Blue things are rough. If something is nice and smart then it is quiet. If something is round then it is quiet. If Erin is nice then Erin is smart. All round, rough things are blue. All round, blue things are cold.
Dave is smart.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((triple3 triple5) -> rule2))] Dave is smart.[(triple5)] Erin is blue.[(triple6 OR ((triple11 triple10) -> rule5))] Erin is cold.[(triple7 OR ((triple11 triple6) -> rule6) OR ((triple11 ((triple11 triple10) -> rule5)) -> rule6))] Erin is nice.[(triple8)] Erin is quiet.[(triple9 OR ((triple11) -> rule3) OR ((triple8 triple12) -> rule2) OR ((triple8 ((triple8) -> rule4)) -> rule2))] Erin is rough.[(triple10 OR ((triple6) -> rule1))] Erin is round.[(triple11)] Erin is smart.[(triple12 OR ((triple8) -> rule4))] @1: Dave is rough.[(((triple1) -> rule1))]