Anne is red. Anne is round. Erin is quiet. Erin is round. Fiona is red. Harry is rough. Harry is smart. All rough things are white. If Fiona is smart and Fiona is round then Fiona is white. If something is young then it is smart. Red, white things are young. Red things are quiet. Young things are red. If something is quiet then it is rough. All round, white things are young.
Erin is quiet.
@0: Anne is red.[(triple1)] Anne is round.[(triple2)] Erin is quiet.[(triple3)] Erin is round.[(triple4)] Fiona is red.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule5))] Erin is rough.[(((triple3) -> rule7))] Fiona is quiet.[(((triple5) -> rule5))] Harry is white.[(((triple6) -> rule1))] @2: Anne is rough.[(((((triple1) -> rule5)) -> rule7))] Erin is white.[(((((triple3) -> rule7)) -> rule1))] Fiona is rough.[(((((triple5) -> rule5)) -> rule7))] @3: Anne is white.[(((((((triple1) -> rule5)) -> rule7)) -> rule1))] Erin is young.[(((triple4 ((((triple3) -> rule7)) -> rule1)) -> rule8))] Fiona is white.[(((((((triple5) -> rule5)) -> rule7)) -> rule1))] @4: Anne is young.[(((triple1 ((((((triple1) -> rule5)) -> rule7)) -> rule1)) -> rule4) OR ((triple2 ((((((triple1) -> rule5)) -> rule7)) -> rule1)) -> rule8))] Erin is red.[(((((triple4 ((((triple3) -> rule7)) -> rule1)) -> rule8)) -> rule6))] Erin is smart.[(((((triple4 ((((triple3) -> rule7)) -> rule1)) -> rule8)) -> rule3))] Fiona is young.[(((triple5 ((((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule4))] @5: Anne is smart.[(((((triple1 ((((((triple1) -> rule5)) -> rule7)) -> rule1)) -> rule4)) -> rule3) OR ((((triple2 ((((((triple1) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule3))] Fiona is smart.[(((((triple5 ((((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule4)) -> rule3))]