Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is rough. Bob is round. Bob is young. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is young. Erin is blue. Erin is quiet. Erin is round. Erin is young. If someone is nice and blue then they are young. Nice, young people are cold.
Erin is not cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple3 triple7) -> rule2) OR ((triple3 ((triple3 triple1) -> rule1)) -> rule2))] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7 OR ((triple3 triple1) -> rule1))] Charlie is blue.[(triple8)] Charlie is nice.[(triple9)] Charlie is quiet.[(triple10)] Charlie is rough.[(triple11)] Charlie is young.[(triple12 OR ((triple9 triple8) -> rule1))] Erin is blue.[(triple13)] Erin is quiet.[(triple14)] Erin is round.[(triple15)] Erin is young.[(triple16)] @1: Charlie is cold.[(((triple9 triple12) -> rule2) OR ((triple9 ((triple9 triple8) -> rule1)) -> rule2))]