Bob is cold. Bob is kind. Bob is nice. Bob is white. Charlie is young. Fiona is nice. Harry is young. All nice, red things are young. Young, cold things are red. All red, nice things are kind. If Charlie is young then Charlie is red. White, young things are cold. Cold things are red.
Bob is cold.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((((triple1) -> rule6) triple3) -> rule3))] Bob is nice.[(triple3)] Bob is white.[(triple4)] Charlie is young.[(triple5)] Fiona is nice.[(triple6)] Harry is young.[(triple7)] @1: Bob is red.[(((triple1) -> rule6))] Charlie is red.[(((triple5) -> rule4))] @2: Bob is young.[(((triple3 ((triple1) -> rule6)) -> rule1))]