Bob is blue. Erin is kind. Gary is white. Round people are big. If Bob is blue and Bob is kind then Bob is quiet. All kind people are red. Round, blue people are red. Kind people are round. All round, quiet people are red. Big, kind people are quiet. White, red people are round.
Erin is not blue.
@0: Bob is blue.[(triple1)] Erin is kind.[(triple2)] Gary is white.[(triple3)] @1: Erin is red.[(((triple2) -> rule3) OR ((((triple2) -> rule5) ((((((triple2) -> rule5)) -> rule1) triple2) -> rule7)) -> rule6))] Erin is round.[(((triple2) -> rule5))] @2: Erin is big.[(((((triple2) -> rule5)) -> rule1))] @3: Erin is quiet.[(((((((triple2) -> rule5)) -> rule1) triple2) -> rule7))]