Fiona is red. Big people are red. Quiet people are smart. Red, young people are not smart. If someone is big then they are quiet. If someone is quiet then they are rough. If someone is red then they are big.
Fiona is not green.
@0: Fiona is red.[(triple1)] @1: Fiona is big.[(((triple1) -> rule6))] @2: Fiona is quiet.[(((((triple1) -> rule6)) -> rule4))] @3: Fiona is rough.[(((((((triple1) -> rule6)) -> rule4)) -> rule5))] Fiona is smart.[(((((((triple1) -> rule6)) -> rule4)) -> rule2))]