Bob is cold. Bob is kind. Bob is nice. Bob is rough. Erin is blue. Erin is young. Gary is cold. Gary is nice. Gary is red. Gary is rough. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is rough. Harry is young. If Gary is cold and Gary is rough then Gary is kind. Rough, kind things are young. All rough things are kind. If Bob is young and Bob is red then Bob is rough. All kind things are red. If Harry is cold then Harry is red. All rough things are young. If Harry is rough and Harry is nice then Harry is young.
Erin is not blue.
@0: Bob is cold.[(triple1)] Bob is kind.[(triple2 OR ((triple4) -> rule3))] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Erin is blue.[(triple5)] Erin is young.[(triple6)] Gary is cold.[(triple7)] Gary is nice.[(triple8)] Gary is red.[(triple9 OR ((((triple10) -> rule3)) -> rule5) OR ((((triple7 triple10) -> rule1)) -> rule5))] Gary is rough.[(triple10)] Harry is cold.[(triple11)] Harry is kind.[(triple12 OR ((triple15) -> rule3))] Harry is nice.[(triple13)] Harry is red.[(triple14 OR ((triple11) -> rule6) OR ((triple12) -> rule5) OR ((((triple15) -> rule3)) -> rule5))] Harry is rough.[(triple15)] Harry is young.[(triple16 OR ((triple15) -> rule7) OR ((triple15 triple12) -> rule2) OR ((triple15 triple13) -> rule8) OR ((triple15 ((triple15) -> rule3)) -> rule2))] @1: Bob is red.[(((triple2) -> rule5) OR ((((triple4) -> rule3)) -> rule5))] Bob is young.[(((triple4) -> rule7) OR ((triple4 triple2) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule2))] Gary is kind.[(((triple10) -> rule3) OR ((triple7 triple10) -> rule1))] Gary is young.[(((triple10) -> rule7) OR ((triple10 ((triple10) -> rule3)) -> rule2) OR ((triple10 ((triple7 triple10) -> rule1)) -> rule2))]