Bob is big. Bob is smart. Dave is blue. Dave is green. Dave is round. Erin is big. Gary is cold. All green things are smart. All cold, smart things are quiet. If something is green then it is quiet. If Erin is blue and Erin is smart then Erin is green. If something is big then it is quiet. If something is green and round then it is quiet. Round things are cold. All round things are blue.
Erin is not cold.
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Dave is blue.[(triple3 OR ((triple5) -> rule8))] Dave is green.[(triple4)] Dave is round.[(triple5)] Erin is big.[(triple6)] Gary is cold.[(triple7)] @1: Bob is quiet.[(((triple1) -> rule5))] Dave is cold.[(((triple5) -> rule7))] Dave is quiet.[(((triple4) -> rule3) OR ((triple4 triple5) -> rule6) OR ((((triple5) -> rule7) ((triple4) -> rule1)) -> rule2))] Dave is smart.[(((triple4) -> rule1))] Erin is quiet.[(((triple6) -> rule5))]