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