Gary is big. Gary is furry. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is white. All furry people are quiet. All smart, white people are big. Big, furry people are smart. If someone is smart and round then they are big. If someone is big then they are round. Smart people are big. All nice people are quiet. If Gary is round then Gary is smart.
Gary is not smart.
@0: Gary is big.[(triple1 OR ((triple6) -> rule6) OR ((triple6 triple5) -> rule4) OR ((triple6 triple7) -> rule2) OR ((((triple5) -> rule8)) -> rule6) OR ((((triple5) -> rule8) triple5) -> rule4) OR ((((triple5) -> rule8) triple7) -> rule2))] Gary is furry.[(triple2)] Gary is nice.[(triple3)] Gary is quiet.[(triple4 OR ((triple2) -> rule1) OR ((triple3) -> rule7))] Gary is round.[(triple5 OR ((triple1) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((triple6 triple7) -> rule2)) -> rule5))] Gary is smart.[(triple6 OR ((triple5) -> rule8) OR ((triple1 triple2) -> rule3) OR ((((triple1) -> rule5)) -> rule8))] Gary is white.[(triple7)]