Bob is nice. Bob is rough. Dave is cold. Dave is not nice. Dave is smart. Fiona is smart. Harry is smart. If Dave is smart and Dave is furry then Dave is red. If someone is cold and nice then they are smart. All rough, furry people are young. All nice people are young. If Bob is rough and Bob is young then Bob is cold. All rough, young people are red.
Bob is rough.
@0: Bob is nice.[(triple1)] Bob is rough.[(triple2)] Dave is cold.[(triple3)] Dave is not nice.[(triple4)] Dave is smart.[(triple5)] Fiona is smart.[(triple6)] Harry is smart.[(triple7)] @1: Bob is young.[(((triple1) -> rule4))] @2: Bob is cold.[(((triple2 ((triple1) -> rule4)) -> rule5))] Bob is red.[(((triple2 ((triple1) -> rule4)) -> rule6))] @3: Bob is smart.[(((((triple2 ((triple1) -> rule4)) -> rule5) triple1) -> rule2))]