Bob is cold. Dave is not smart. Erin is nice. Fiona is rough. All smart people are young. If someone is rough and not nice then they are not white. Rough people are smart. All rough, young people are cold. If someone is cold then they are rough. If someone is cold and not smart then they are big.
Fiona is nice.
@0: Bob is cold.[(triple1)] Dave is not smart.[(triple2)] Erin is nice.[(triple3)] Fiona is rough.[(triple4)] @1: Bob is rough.[(((triple1) -> rule5))] Fiona is smart.[(((triple4) -> rule3))] @2: Bob is smart.[(((((triple1) -> rule5)) -> rule3))] Fiona is young.[(((((triple4) -> rule3)) -> rule1))] @3: Bob is young.[(((((((triple1) -> rule5)) -> rule3)) -> rule1))] Fiona is cold.[(((triple4 ((((triple4) -> rule3)) -> rule1)) -> rule4))]