Bob is cold. Bob is furry. Bob is young. Dave is furry. Dave is rough. Erin is cold. Erin is red. Harry is cold. Harry is rough. Harry is young. All rough, young people are kind. Furry people are rough. All blue people are kind. All red, blue people are furry. If someone is cold then they are red. If someone is young and kind then they are red.
Harry is not cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is young.[(triple3)] Dave is furry.[(triple4)] Dave is rough.[(triple5 OR ((triple4) -> rule2))] Erin is cold.[(triple6)] Erin is red.[(triple7 OR ((triple6) -> rule5))] Harry is cold.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)] @1: Bob is red.[(((triple1) -> rule5) OR ((triple3 ((((triple2) -> rule2) triple3) -> rule1)) -> rule6))] Bob is rough.[(((triple2) -> rule2))] Harry is kind.[(((triple9 triple10) -> rule1))] Harry is red.[(((triple8) -> rule5) OR ((triple10 ((triple9 triple10) -> rule1)) -> rule6))] @2: Bob is kind.[(((((triple2) -> rule2) triple3) -> rule1))]