Charlie is young. Dave is young. Gary is big. If someone is kind then they are quiet. If someone is big then they are young. If someone is round then they are quiet. If someone is blue and round then they are young. If Charlie is quiet and Charlie is kind then Charlie is smart. All blue people are kind. All young people are blue. Quiet, smart people are round.
Gary is big.
@0: Charlie is young.[(triple1)] Dave is young.[(triple2)] Gary is big.[(triple3)] @1: Charlie is blue.[(((triple1) -> rule7))] Dave is blue.[(((triple2) -> rule7))] Gary is young.[(((triple3) -> rule2))] @2: Charlie is kind.[(((((triple1) -> rule7)) -> rule6))] Dave is kind.[(((((triple2) -> rule7)) -> rule6))] Gary is blue.[(((((triple3) -> rule2)) -> rule7))] @3: Charlie is quiet.[(((((((triple1) -> rule7)) -> rule6)) -> rule1))] Dave is quiet.[(((((((triple2) -> rule7)) -> rule6)) -> rule1))] Gary is kind.[(((((((triple3) -> rule2)) -> rule7)) -> rule6))] @4: Charlie is smart.[(((((((((triple1) -> rule7)) -> rule6)) -> rule1) ((((triple1) -> rule7)) -> rule6)) -> rule5))] Gary is quiet.[(((((((((triple3) -> rule2)) -> rule7)) -> rule6)) -> rule1))] @5: Charlie is round.[(((((((((triple1) -> rule7)) -> rule6)) -> rule1) ((((((((triple1) -> rule7)) -> rule6)) -> rule1) ((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule8))]