Bob is round. Fiona is big. Gary is big. All round things are red. Furry things are cold. If something is round then it is red. All big, red things are cold. All round, red things are furry. Big, furry things are nice.
Fiona is not big.
@0: Bob is round.[(triple1)] Fiona is big.[(triple2)] Gary is big.[(triple3)] @1: Bob is red.[(((triple1) -> rule1) OR ((triple1) -> rule3))] @2: Bob is furry.[(((triple1 ((triple1) -> rule1)) -> rule5) OR ((triple1 ((triple1) -> rule3)) -> rule5))] @3: Bob is cold.[(((((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2) OR ((((triple1 ((triple1) -> rule3)) -> rule5)) -> rule2))]