Anne is nice. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is round. Bob is smart. Gary is furry. Gary is kind. Harry is kind. Harry is round. Blue, cold people are furry. If someone is blue and furry then they are kind. Cold people are smart. Kind, smart people are round. If someone is furry then they are cold. Cold people are kind.
Harry is cold.
@0: Anne is nice.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3 OR ((triple4) -> rule5))] Bob is furry.[(triple4 OR ((triple2 triple3) -> rule1))] Bob is kind.[(triple5 OR ((triple3) -> rule6) OR ((triple2 triple4) -> rule2) OR ((((triple4) -> rule5)) -> rule6) OR ((triple2 ((triple2 triple3) -> rule1)) -> rule2))] Bob is nice.[(triple6)] Bob is round.[(triple7 OR ((triple5 triple8) -> rule4) OR ((triple5 ((triple3) -> rule3)) -> rule4) OR ((((triple3) -> rule6) triple8) -> rule4) OR ((((triple2 triple4) -> rule2) triple8) -> rule4) OR ((((triple3) -> rule6) ((triple3) -> rule3)) -> rule4) OR ((((triple2 triple4) -> rule2) ((triple3) -> rule3)) -> rule4) OR ((triple5 ((((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((((triple4) -> rule5)) -> rule6) triple8) -> rule4) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule2) triple8) -> rule4) OR ((((triple3) -> rule6) ((((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((((triple4) -> rule5)) -> rule6) ((triple3) -> rule3)) -> rule4) OR ((((triple2 triple4) -> rule2) ((((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule2) ((triple3) -> rule3)) -> rule4) OR ((((((triple4) -> rule5)) -> rule6) ((((triple4) -> rule5)) -> rule3)) -> rule4) OR ((((triple2 ((triple2 triple3) -> rule1)) -> rule2) ((((triple4) -> rule5)) -> rule3)) -> rule4))] Bob is smart.[(triple8 OR ((triple3) -> rule3) OR ((((triple4) -> rule5)) -> rule3))] Gary is furry.[(triple9)] Gary is kind.[(triple10 OR ((((triple9) -> rule5)) -> rule6))] Harry is kind.[(triple11)] Harry is round.[(triple12)] @1: Gary is cold.[(((triple9) -> rule5))] @2: Gary is smart.[(((((triple9) -> rule5)) -> rule3))] @3: Gary is round.[(((triple10 ((((triple9) -> rule5)) -> rule3)) -> rule4) OR ((((((triple9) -> rule5)) -> rule6) ((((triple9) -> rule5)) -> rule3)) -> rule4))]