Dave is furry. Dave is not nice. Dave is not red. Dave is round. Erin is big. Erin is blue. Erin is cold. Erin is nice. Erin is red. Gary is big. Gary is blue. Gary is not cold. Gary is furry. Gary is nice. Gary is red. All red people are round. If someone is cold then they are nice. If someone is nice and not red then they are big. Nice people are big. All round people are furry. If Gary is blue and Gary is not nice then Gary is round.
Dave is blue.
@0: Dave is furry.[(triple1 OR ((triple4) -> rule5))] Dave is not nice.[(triple2)] Dave is not red.[(triple3)] Dave is round.[(triple4)] Erin is big.[(triple5 OR ((triple8) -> rule4) OR ((((triple7) -> rule2)) -> rule4))] Erin is blue.[(triple6)] Erin is cold.[(triple7)] Erin is nice.[(triple8 OR ((triple7) -> rule2))] Erin is red.[(triple9)] Gary is big.[(triple10 OR ((triple14) -> rule4))] Gary is blue.[(triple11)] Gary is furry.[(triple13 OR ((((triple15) -> rule1)) -> rule5))] Gary is nice.[(triple14)] Gary is not cold.[(triple12)] Gary is red.[(triple15)] @1: Erin is round.[(((triple9) -> rule1))] Gary is round.[(((triple15) -> rule1))] @2: Erin is furry.[(((((triple9) -> rule1)) -> rule5))]