Dave is smart. Fiona is quiet. Fiona is young. All young, smart people are cold. All blue people are smart. If someone is big then they are smart. If someone is rough and big then they are quiet. If someone is young then they are big. If Fiona is smart and Fiona is big then Fiona is quiet.
Fiona is big.
@0: Dave is smart.[(triple1)] Fiona is quiet.[(triple2 OR ((((((triple3) -> rule5)) -> rule3) ((triple3) -> rule5)) -> rule6))] Fiona is young.[(triple3)] @1: Fiona is big.[(((triple3) -> rule5))] @2: Fiona is smart.[(((((triple3) -> rule5)) -> rule3))] @3: Fiona is cold.[(((triple3 ((((triple3) -> rule5)) -> rule3)) -> rule1))]