Bob is white. Charlie is smart. Fiona is cold. Harry is smart. If someone is smart then they are young. All white, rough people are quiet. All smart people are quiet. If someone is smart and white then they are young. All young people are quiet. All cold, quiet people are nice. Cold people are smart. All white people are young.
Fiona is cold.
@0: Bob is white.[(triple1)] Charlie is smart.[(triple2)] Fiona is cold.[(triple3)] Harry is smart.[(triple4)] @1: Bob is young.[(((triple1) -> rule8))] Charlie is quiet.[(((triple2) -> rule3) OR ((((triple2) -> rule1)) -> rule5))] Charlie is young.[(((triple2) -> rule1))] Fiona is smart.[(((triple3) -> rule7))] Harry is quiet.[(((triple4) -> rule3) OR ((((triple4) -> rule1)) -> rule5))] Harry is young.[(((triple4) -> rule1))] @2: Bob is quiet.[(((((triple1) -> rule8)) -> rule5))] Fiona is quiet.[(((((triple3) -> rule7)) -> rule3) OR ((((((triple3) -> rule7)) -> rule1)) -> rule5))] Fiona is young.[(((((triple3) -> rule7)) -> rule1))] @3: Fiona is nice.[(((triple3 ((((triple3) -> rule7)) -> rule3)) -> rule6) OR ((triple3 ((((((triple3) -> rule7)) -> rule1)) -> rule5)) -> rule6))]