Bob is blue. Bob is cold. Bob is furry. Charlie is smart. Charlie is young. Gary is furry. Harry is smart. All cold, round people are young. Cold people are round. All kind people are furry. Blue, kind people are round. If someone is cold then they are young. All round, cold people are kind.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3 OR ((((((triple2) -> rule2) triple2) -> rule6)) -> rule3))] Charlie is smart.[(triple4)] Charlie is young.[(triple5)] Gary is furry.[(triple6)] Harry is smart.[(triple7)] @1: Bob is round.[(((triple2) -> rule2))] Bob is young.[(((triple2) -> rule5) OR ((triple2 ((triple2) -> rule2)) -> rule1))] @2: Bob is kind.[(((((triple2) -> rule2) triple2) -> rule6))]