Dave is blue. Dave is kind. Dave is rough. Dave is round. Dave is young. Erin is blue. Erin is green. Erin is kind. Erin is round. Gary is cold. Gary is young. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is young. If Gary is rough and Gary is blue then Gary is young. Green things are kind. If something is kind and green then it is cold. Kind, rough things are young. If something is rough then it is blue. If Dave is kind and Dave is rough then Dave is round. Kind, green things are rough. If something is green and round then it is cold.
Erin is green.
@0: Dave is blue.[(triple1 OR ((triple3) -> rule5))] Dave is kind.[(triple2)] Dave is rough.[(triple3)] Dave is round.[(triple4 OR ((triple2 triple3) -> rule6))] Dave is young.[(triple5 OR ((triple2 triple3) -> rule4))] Erin is blue.[(triple6 OR ((((triple8 triple7) -> rule7)) -> rule5) OR ((((((triple7) -> rule2) triple7) -> rule7)) -> rule5))] Erin is green.[(triple7)] Erin is kind.[(triple8 OR ((triple7) -> rule2))] Erin is round.[(triple9)] Gary is cold.[(triple10)] Gary is young.[(triple11)] Harry is blue.[(triple12 OR ((((triple15 triple14) -> rule7)) -> rule5) OR ((((((triple14) -> rule2) triple14) -> rule7)) -> rule5))] Harry is cold.[(triple13 OR ((triple15 triple14) -> rule3) OR ((((triple14) -> rule2) triple14) -> rule3))] Harry is green.[(triple14)] Harry is kind.[(triple15 OR ((triple14) -> rule2))] Harry is young.[(triple16 OR ((triple15 ((triple15 triple14) -> rule7)) -> rule4) OR ((((triple14) -> rule2) ((triple15 triple14) -> rule7)) -> rule4) OR ((triple15 ((((triple14) -> rule2) triple14) -> rule7)) -> rule4) OR ((((triple14) -> rule2) ((((triple14) -> rule2) triple14) -> rule7)) -> rule4))] @1: Erin is cold.[(((triple7 triple9) -> rule8) OR ((triple8 triple7) -> rule3) OR ((((triple7) -> rule2) triple7) -> rule3))] Erin is rough.[(((triple8 triple7) -> rule7) OR ((((triple7) -> rule2) triple7) -> rule7))] Harry is rough.[(((triple15 triple14) -> rule7) OR ((((triple14) -> rule2) triple14) -> rule7))] @2: Erin is young.[(((triple8 ((triple8 triple7) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((triple8 triple7) -> rule7)) -> rule4) OR ((triple8 ((((triple7) -> rule2) triple7) -> rule7)) -> rule4) OR ((((triple7) -> rule2) ((((triple7) -> rule2) triple7) -> rule7)) -> rule4))]