Erin is quiet. Erin is young. Fiona is big. Fiona is kind. Fiona is quiet. Gary is green. Gary is smart. All quiet things are kind. All green things are kind. If something is smart then it is rough. All quiet things are smart. Big, kind things are quiet. All green things are kind. All green, kind things are rough. Quiet things are big.
Erin is quiet.
@0: Erin is quiet.[(triple1)] Erin is young.[(triple2)] Fiona is big.[(triple3 OR ((triple5) -> rule8))] Fiona is kind.[(triple4 OR ((triple5) -> rule1))] Fiona is quiet.[(triple5 OR ((triple3 triple4) -> rule5))] Gary is green.[(triple6)] Gary is smart.[(triple7)] @1: Erin is big.[(((triple1) -> rule8))] Erin is kind.[(((triple1) -> rule1))] Erin is smart.[(((triple1) -> rule4))] Fiona is smart.[(((triple5) -> rule4) OR ((((triple3 triple4) -> rule5)) -> rule4))] Gary is kind.[(((triple6) -> rule2) OR ((triple6) -> rule6))] Gary is rough.[(((triple7) -> rule3) OR ((triple6 ((triple6) -> rule2)) -> rule7) OR ((triple6 ((triple6) -> rule6)) -> rule7))] @2: Erin is rough.[(((((triple1) -> rule4)) -> rule3))] Fiona is rough.[(((((triple5) -> rule4)) -> rule3) OR ((((((triple3 triple4) -> rule5)) -> rule4)) -> rule3))]