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