Anne is nice. Anne is round. Gary is quiet. White people are red. If someone is rough and not nice then they are not round. All nice people are round. If Gary is not nice then Gary is blue. Round, nice people are blue. All blue people are white. Rough people are white. Blue people are white.
Anne is quiet.
@0: Anne is nice.[(triple1)] Anne is round.[(triple2 OR ((triple1) -> rule3))] Gary is quiet.[(triple3)] @1: Anne is blue.[(((triple2 triple1) -> rule5) OR ((((triple1) -> rule3) triple1) -> rule5))] @2: Anne is white.[(((((triple2 triple1) -> rule5)) -> rule6) OR ((((triple2 triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule3) triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule3) triple1) -> rule5)) -> rule8))] @3: Anne is red.[(((((((triple2 triple1) -> rule5)) -> rule6)) -> rule1) OR ((((((triple2 triple1) -> rule5)) -> rule8)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule5)) -> rule6)) -> rule1) OR ((((((((triple1) -> rule3) triple1) -> rule5)) -> rule8)) -> rule1))]