Anne is young. Bob is big. Charlie is smart. Erin is quiet. All smart people are young. All cold, big people are red. All quiet people are smart. If someone is blue then they are red. If someone is young then they are quiet. Quiet people are red.
Charlie is smart.
@0: Anne is young.[(triple1)] Bob is big.[(triple2)] Charlie is smart.[(triple3)] Erin is quiet.[(triple4)] @1: Anne is quiet.[(((triple1) -> rule5))] Charlie is young.[(((triple3) -> rule1))] Erin is red.[(((triple4) -> rule6))] Erin is smart.[(((triple4) -> rule3))] @2: Anne is red.[(((((triple1) -> rule5)) -> rule6))] Anne is smart.[(((((triple1) -> rule5)) -> rule3))] Charlie is quiet.[(((((triple3) -> rule1)) -> rule5))] Erin is young.[(((((triple4) -> rule3)) -> rule1))] @3: Charlie is red.[(((((((triple3) -> rule1)) -> rule5)) -> rule6))]