Bob is big. Charlie is furry. Dave is cold. Fiona is smart. All red things are young. Red, big things are young. All big things are red. All smart, cold things are young. Young things are red. All furry things are cold. If something is nice then it is smart. If Dave is cold then Dave is young.
Dave is not furry.
@0: Bob is big.[(triple1)] Charlie is furry.[(triple2)] Dave is cold.[(triple3)] Fiona is smart.[(triple4)] @1: Bob is red.[(((triple1) -> rule3))] Charlie is cold.[(((triple2) -> rule6))] Dave is young.[(((triple3) -> rule8))] @2: Bob is young.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3) triple1) -> rule2))] Dave is red.[(((((triple3) -> rule8)) -> rule5))]