Bob is furry. Bob is green. Bob is round. Dave is big. Dave is furry. Erin is big. Erin is blue. Erin is cold. Erin is round. Erin is white. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is round. If someone is big and cold then they are blue. If someone is cold then they are round. If someone is blue and green then they are round. All green, furry people are blue. Big, cold people are blue. If Dave is furry then Dave is blue. All round, white people are cold. All white, cold people are blue.
Gary is blue.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3 OR ((((triple2 triple1) -> rule4) triple2) -> rule3))] Dave is big.[(triple4)] Dave is furry.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple10 triple8) -> rule8) OR ((triple6 triple8) -> rule1) OR ((triple6 triple8) -> rule5) OR ((triple10 ((triple9 triple10) -> rule7)) -> rule8) OR ((triple6 ((triple9 triple10) -> rule7)) -> rule1) OR ((triple6 ((triple9 triple10) -> rule7)) -> rule5))] Erin is cold.[(triple8 OR ((triple9 triple10) -> rule7))] Erin is round.[(triple9 OR ((triple8) -> rule2))] Erin is white.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12 OR ((triple11 triple13) -> rule1) OR ((triple11 triple13) -> rule5) OR ((triple15 triple14) -> rule4))] Gary is cold.[(triple13)] Gary is furry.[(triple14)] Gary is green.[(triple15)] Gary is round.[(triple16 OR ((triple13) -> rule2) OR ((triple12 triple15) -> rule3) OR ((((triple11 triple13) -> rule1) triple15) -> rule3) OR ((((triple11 triple13) -> rule5) triple15) -> rule3) OR ((((triple15 triple14) -> rule4) triple15) -> rule3))] @1: Bob is blue.[(((triple2 triple1) -> rule4))] Dave is blue.[(((triple5) -> rule6))]