Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Erin is big. Erin is smart. Quiet things are red. If something is red and round then it is white. If something is smart and red then it is quiet. All big things are quiet. If something is quiet and smart then it is round. All red, white things are quiet.
Charlie is big.
@0: Charlie is kind.[(triple1)] Charlie is red.[(triple2)] Charlie is round.[(triple3 OR ((((triple2 triple5) -> rule6) triple4) -> rule5) OR ((((triple4 triple2) -> rule3) triple4) -> rule5))] Charlie is smart.[(triple4)] Charlie is white.[(triple5 OR ((triple2 triple3) -> rule2) OR ((triple2 ((((triple4 triple2) -> rule3) triple4) -> rule5)) -> rule2))] Erin is big.[(triple6)] Erin is smart.[(triple7)] @1: Charlie is quiet.[(((triple2 triple5) -> rule6) OR ((triple4 triple2) -> rule3) OR ((triple2 ((triple2 triple3) -> rule2)) -> rule6))] Erin is quiet.[(((triple6) -> rule4))] @2: Erin is red.[(((((triple6) -> rule4)) -> rule1))] Erin is round.[(((((triple6) -> rule4) triple7) -> rule5))] @3: Erin is white.[(((((((triple6) -> rule4)) -> rule1) ((((triple6) -> rule4) triple7) -> rule5)) -> rule2))]