Bob is furry. Charlie is furry. Fiona is kind. Gary is blue. If someone is quiet and kind then they are blue. Young, round people are furry. If Bob is round then Bob is young. If someone is rough then they are quiet. If someone is young then they are rough. Kind people are rough. If someone is kind then they are rough. All furry people are blue.
Bob is furry.
@0: Bob is furry.[(triple1)] Charlie is furry.[(triple2)] Fiona is kind.[(triple3)] Gary is blue.[(triple4)] @1: Bob is blue.[(((triple1) -> rule8))] Charlie is blue.[(((triple2) -> rule8))] Fiona is rough.[(((triple3) -> rule6) OR ((triple3) -> rule7))] @2: Fiona is quiet.[(((((triple3) -> rule6)) -> rule4) OR ((((triple3) -> rule7)) -> rule4))] @3: Fiona is blue.[(((((((triple3) -> rule6)) -> rule4) triple3) -> rule1) OR ((((((triple3) -> rule7)) -> rule4) triple3) -> rule1))]