Dave is quiet. Dave is smart. Fiona is green. Cold people are green. If someone is white then they are quiet. If someone is smart and quiet then they are green. If someone is smart and cold then they are green. If someone is big then they are white. Green people are big. If Fiona is cold and Fiona is quiet then Fiona is white. All young people are cold.
Fiona is white.
@0: Dave is quiet.[(triple1)] Dave is smart.[(triple2)] Fiona is green.[(triple3)] @1: Dave is green.[(((triple2 triple1) -> rule3))] Fiona is big.[(((triple3) -> rule6))] @2: Dave is big.[(((((triple2 triple1) -> rule3)) -> rule6))] Fiona is white.[(((((triple3) -> rule6)) -> rule5))] @3: Dave is white.[(((((((triple2 triple1) -> rule3)) -> rule6)) -> rule5))] Fiona is quiet.[(((((((triple3) -> rule6)) -> rule5)) -> rule2))]