Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is round. Gary is smart. Furry, kind things are smart. If something is furry and cold then it is kind. All cold things are round. If Gary is kind then Gary is round. Nice, furry things are round. All cold, smart things are kind. If something is kind and round then it is nice. If something is smart and furry then it is cold.
Gary is not smart.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2 OR ((triple7 triple3) -> rule8) OR ((((triple3 triple4) -> rule1) triple3) -> rule8))] Gary is furry.[(triple3)] Gary is kind.[(triple4 OR ((triple2 triple7) -> rule6) OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple7 triple3) -> rule8)) -> rule2) OR ((((triple7 triple3) -> rule8) triple7) -> rule6))] Gary is nice.[(triple5 OR ((triple4 triple6) -> rule7) OR ((triple4 ((triple2) -> rule3)) -> rule7) OR ((triple4 ((triple4) -> rule4)) -> rule7) OR ((((triple2 triple7) -> rule6) triple6) -> rule7) OR ((((triple3 triple2) -> rule2) triple6) -> rule7) OR ((((triple2 triple7) -> rule6) ((triple2) -> rule3)) -> rule7) OR ((((triple2 triple7) -> rule6) ((triple4) -> rule4)) -> rule7) OR ((((triple3 triple2) -> rule2) ((triple2) -> rule3)) -> rule7) OR ((((triple3 triple2) -> rule2) ((triple4) -> rule4)) -> rule7) OR ((triple4 ((((triple2 triple7) -> rule6)) -> rule4)) -> rule7) OR ((triple4 ((((triple3 triple2) -> rule2)) -> rule4)) -> rule7) OR ((triple4 ((((triple7 triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2) triple6) -> rule7) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6) triple6) -> rule7) OR ((((triple2 triple7) -> rule6) ((((triple2 triple7) -> rule6)) -> rule4)) -> rule7) OR ((((triple2 triple7) -> rule6) ((((triple3 triple2) -> rule2)) -> rule4)) -> rule7) OR ((((triple2 triple7) -> rule6) ((((triple7 triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 triple2) -> rule2) ((((triple2 triple7) -> rule6)) -> rule4)) -> rule7) OR ((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2)) -> rule4)) -> rule7) OR ((((triple3 triple2) -> rule2) ((((triple7 triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2) ((triple2) -> rule3)) -> rule7) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2) ((triple4) -> rule4)) -> rule7) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6) ((triple2) -> rule3)) -> rule7) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6) ((triple4) -> rule4)) -> rule7) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2) ((((triple2 triple7) -> rule6)) -> rule4)) -> rule7) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2) ((((triple3 triple2) -> rule2)) -> rule4)) -> rule7) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2) ((((triple7 triple3) -> rule8)) -> rule3)) -> rule7) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6) ((((triple2 triple7) -> rule6)) -> rule4)) -> rule7) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6) ((((triple3 triple2) -> rule2)) -> rule4)) -> rule7) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6) ((((triple7 triple3) -> rule8)) -> rule3)) -> rule7) OR ((triple4 ((((triple3 ((triple7 triple3) -> rule8)) -> rule2)) -> rule4)) -> rule7) OR ((triple4 ((((((triple3 triple4) -> rule1) triple3) -> rule8)) -> rule3)) -> rule7) OR ((triple4 ((((((triple7 triple3) -> rule8) triple7) -> rule6)) -> rule4)) -> rule7) OR ((((triple2 triple7) -> rule6) ((((triple3 ((triple7 triple3) -> rule8)) -> rule2)) -> rule4)) -> rule7) OR ((((triple2 triple7) -> rule6) ((((((triple3 triple4) -> rule1) triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple2 triple7) -> rule6) ((((((triple7 triple3) -> rule8) triple7) -> rule6)) -> rule4)) -> rule7) OR ((((triple3 triple2) -> rule2) ((((triple3 ((triple7 triple3) -> rule8)) -> rule2)) -> rule4)) -> rule7) OR ((((triple3 triple2) -> rule2) ((((((triple3 triple4) -> rule1) triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 triple2) -> rule2) ((((((triple7 triple3) -> rule8) triple7) -> rule6)) -> rule4)) -> rule7) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2) ((((triple3 ((triple7 triple3) -> rule8)) -> rule2)) -> rule4)) -> rule7) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2) ((((((triple3 triple4) -> rule1) triple3) -> rule8)) -> rule3)) -> rule7) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2) ((((((triple7 triple3) -> rule8) triple7) -> rule6)) -> rule4)) -> rule7) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6) ((((triple3 ((triple7 triple3) -> rule8)) -> rule2)) -> rule4)) -> rule7) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6) ((((((triple3 triple4) -> rule1) triple3) -> rule8)) -> rule3)) -> rule7) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6) ((((((triple7 triple3) -> rule8) triple7) -> rule6)) -> rule4)) -> rule7))] Gary is round.[(triple6 OR ((triple2) -> rule3) OR ((triple4) -> rule4) OR ((triple5 triple3) -> rule5) OR ((((triple2 triple7) -> rule6)) -> rule4) OR ((((triple3 triple2) -> rule2)) -> rule4) OR ((((triple7 triple3) -> rule8)) -> rule3) OR ((((triple3 ((triple7 triple3) -> rule8)) -> rule2)) -> rule4) OR ((((((triple3 triple4) -> rule1) triple3) -> rule8)) -> rule3) OR ((((((triple7 triple3) -> rule8) triple7) -> rule6)) -> rule4))] Gary is smart.[(triple7 OR ((triple3 triple4) -> rule1) OR ((triple3 ((triple3 triple2) -> rule2)) -> rule1))]