Bob is smart. Charlie is big. Charlie is kind. Charlie is smart. Fiona is cold. Fiona is smart. Fiona is young. If someone is young then they are kind. Cold people are quiet. All furry, young people are smart. If someone is cold then they are big. If someone is big then they are cold. If Bob is quiet then Bob is furry.
Charlie is furry.
@0: Bob is smart.[(triple1)] Charlie is big.[(triple2)] Charlie is kind.[(triple3)] Charlie is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] @1: Charlie is cold.[(((triple2) -> rule5))] Fiona is big.[(((triple5) -> rule4))] Fiona is kind.[(((triple7) -> rule1))] Fiona is quiet.[(((triple5) -> rule2))] @2: Charlie is quiet.[(((((triple2) -> rule5)) -> rule2))]