Anne is quiet. Dave is smart. Erin is big. Harry is kind. Red, big people are green. If Anne is red and Anne is young then Anne is green. Big people are smart. All big people are kind. All big people are kind. Kind, green people are red. Smart people are red. If someone is kind then they are big.
Erin is green.
@0: Anne is quiet.[(triple1)] Dave is smart.[(triple2)] Erin is big.[(triple3)] Harry is kind.[(triple4)] @1: Dave is red.[(((triple2) -> rule7))] Erin is kind.[(((triple3) -> rule4) OR ((triple3) -> rule5))] Erin is smart.[(((triple3) -> rule3))] Harry is big.[(((triple4) -> rule8))] @2: Erin is red.[(((((triple3) -> rule3)) -> rule7))] Harry is smart.[(((((triple4) -> rule8)) -> rule3))] @3: Erin is green.[(((((((triple3) -> rule3)) -> rule7) triple3) -> rule1))] Harry is red.[(((((((triple4) -> rule8)) -> rule3)) -> rule7))] @4: Harry is green.[(((((((((triple4) -> rule8)) -> rule3)) -> rule7) ((triple4) -> rule8)) -> rule1))]