Erin is nice. If something is quiet then it is nice. If Erin is big and Erin is quiet then Erin is red. All nice things are quiet. Kind, nice things are green. All kind things are big. If Erin is white and Erin is big then Erin is red. Quiet, nice things are kind. All red, green things are kind.
Erin is nice.
@0: Erin is nice.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule3))] @2: Erin is kind.[(((((triple1) -> rule3) triple1) -> rule7))] @3: Erin is big.[(((((((triple1) -> rule3) triple1) -> rule7)) -> rule5))] Erin is green.[(((((((triple1) -> rule3) triple1) -> rule7) triple1) -> rule4))] @4: Erin is red.[(((((((((triple1) -> rule3) triple1) -> rule7)) -> rule5) ((triple1) -> rule3)) -> rule2))]