Erin is rough. Erin is round. Erin is smart. Fiona is round. Gary is rough. Gary is smart. Harry is nice. If someone is smart and nice then they are green. If Erin is big and Erin is smart then Erin is blue. All round people are blue. All smart people are big. If someone is green then they are smart. All rough people are round. If someone is big then they are rough. If Harry is smart then Harry is big. Nice people are green.
Erin is round.
@0: Erin is rough.[(triple1 OR ((((triple3) -> rule4)) -> rule7))] Erin is round.[(triple2 OR ((triple1) -> rule6) OR ((((((triple3) -> rule4)) -> rule7)) -> rule6))] Erin is smart.[(triple3)] Fiona is round.[(triple4)] Gary is rough.[(triple5 OR ((((triple6) -> rule4)) -> rule7))] Gary is smart.[(triple6)] Harry is nice.[(triple7)] @1: Erin is big.[(((triple3) -> rule4))] Erin is blue.[(((triple2) -> rule3) OR ((((triple1) -> rule6)) -> rule3) OR ((((triple3) -> rule4) triple3) -> rule2) OR ((((((((triple3) -> rule4)) -> rule7)) -> rule6)) -> rule3))] Fiona is blue.[(((triple4) -> rule3))] Gary is big.[(((triple6) -> rule4))] Gary is round.[(((triple5) -> rule6) OR ((((((triple6) -> rule4)) -> rule7)) -> rule6))] Harry is green.[(((triple7) -> rule9))] @2: Gary is blue.[(((((triple5) -> rule6)) -> rule3) OR ((((((((triple6) -> rule4)) -> rule7)) -> rule6)) -> rule3))] Harry is smart.[(((((triple7) -> rule9)) -> rule5))] @3: Harry is big.[(((((((triple7) -> rule9)) -> rule5)) -> rule4) OR ((((((triple7) -> rule9)) -> rule5)) -> rule8))] @4: Harry is rough.[(((((((((triple7) -> rule9)) -> rule5)) -> rule4)) -> rule7) OR ((((((((triple7) -> rule9)) -> rule5)) -> rule8)) -> rule7))] @5: Harry is round.[(((((((((((triple7) -> rule9)) -> rule5)) -> rule4)) -> rule7)) -> rule6) OR ((((((((((triple7) -> rule9)) -> rule5)) -> rule8)) -> rule7)) -> rule6))] @6: Harry is blue.[(((((((((((((triple7) -> rule9)) -> rule5)) -> rule4)) -> rule7)) -> rule6)) -> rule3) OR ((((((((((((triple7) -> rule9)) -> rule5)) -> rule8)) -> rule7)) -> rule6)) -> rule3))]