Bob is white. Erin is blue. Erin is white. Fiona is blue. Fiona is nice. Harry is nice. Harry is rough. If Erin is quiet and Erin is rough then Erin is round. Nice, quiet people are furry. All quiet, nice people are round. If someone is quiet and white then they are round. If Fiona is white then Fiona is quiet. Blue, white people are quiet. All white people are blue. White people are rough.
Harry is white.
@0: Bob is white.[(triple1)] Erin is blue.[(triple2 OR ((triple3) -> rule7))] Erin is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is nice.[(triple5)] Harry is nice.[(triple6)] Harry is rough.[(triple7)] @1: Bob is blue.[(((triple1) -> rule7))] Bob is rough.[(((triple1) -> rule8))] Erin is quiet.[(((triple2 triple3) -> rule6) OR ((((triple3) -> rule7) triple3) -> rule6))] Erin is rough.[(((triple3) -> rule8))] @2: Bob is quiet.[(((((triple1) -> rule7) triple1) -> rule6))] Erin is round.[(((((triple2 triple3) -> rule6) triple3) -> rule4) OR ((((triple2 triple3) -> rule6) ((triple3) -> rule8)) -> rule1) OR ((((((triple3) -> rule7) triple3) -> rule6) triple3) -> rule4) OR ((((((triple3) -> rule7) triple3) -> rule6) ((triple3) -> rule8)) -> rule1))] @3: Bob is round.[(((((((triple1) -> rule7) triple1) -> rule6) triple1) -> rule4))]