Anne is kind. Anne is quiet. Anne is red. Bob is blue. Bob is quiet. Bob is red. Erin is furry. Erin is kind. Erin is quiet. Gary is quiet. Gary is red. Gary is round. Furry, red people are round. All round, kind people are furry. Kind people are furry. If Bob is young then Bob is blue. Blue, round people are red. Furry, round people are blue.
Bob is kind.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] Bob is blue.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Erin is furry.[(triple7 OR ((triple8) -> rule3))] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is round.[(triple12)] @1: Anne is furry.[(((triple1) -> rule3))] @2: Anne is round.[(((((triple1) -> rule3) triple3) -> rule1))] @3: Anne is blue.[(((((triple1) -> rule3) ((((triple1) -> rule3) triple3) -> rule1)) -> rule6))]