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