Bob is kind. Bob is round. Bob is young. Charlie is cold. Dave is cold. Dave is red. Fiona is not kind. Quiet things are round. If Dave is cold and Dave is young then Dave is round. Round things are kind. If something is cold then it is kind. If something is smart and kind then it is red. Kind things are cold.
Fiona is not red.
@0: Bob is kind.[(triple1 OR ((triple2) -> rule3))] Bob is round.[(triple2)] Bob is young.[(triple3)] Charlie is cold.[(triple4)] Dave is cold.[(triple5)] Dave is red.[(triple6)] Fiona is not kind.[(triple7)] @1: Bob is cold.[(((triple1) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] Charlie is kind.[(((triple4) -> rule4))] Dave is kind.[(((triple5) -> rule4))]