Anne is round. Erin is kind. Erin is quiet. Erin is rough. Fiona is big. Fiona is quiet. Fiona is red. Fiona is rough. Harry is big. Harry is green. Harry is quiet. Harry is red. All red, rough things are kind. All kind things are round. All quiet things are red. If something is red and rough then it is big. All red, round things are kind. If Fiona is big and Fiona is rough then Fiona is red.
Fiona is rough.
@0: Anne is round.[(triple1)] Erin is kind.[(triple2 OR ((((triple3) -> rule3) triple4) -> rule1))] Erin is quiet.[(triple3)] Erin is rough.[(triple4)] Fiona is big.[(triple5 OR ((triple7 triple8) -> rule4) OR ((((triple6) -> rule3) triple8) -> rule4))] Fiona is quiet.[(triple6)] Fiona is red.[(triple7 OR ((triple6) -> rule3) OR ((triple5 triple8) -> rule6))] Fiona is rough.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12 OR ((triple11) -> rule3))] @1: Erin is red.[(((triple3) -> rule3))] Erin is round.[(((triple2) -> rule2) OR ((((((triple3) -> rule3) triple4) -> rule1)) -> rule2))] Fiona is kind.[(((triple7 triple8) -> rule1) OR ((((triple6) -> rule3) triple8) -> rule1) OR ((((triple5 triple8) -> rule6) triple8) -> rule1))] @2: Erin is big.[(((((triple3) -> rule3) triple4) -> rule4))] Fiona is round.[(((((triple7 triple8) -> rule1)) -> rule2) OR ((((((triple6) -> rule3) triple8) -> rule1)) -> rule2) OR ((((((triple5 triple8) -> rule6) triple8) -> rule1)) -> rule2))]