Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is quiet. Gary is round. Gary is young. All furry things are green. Green, furry things are blue. All round, furry things are green. Quiet things are furry. If something is round and blue then it is young. If something is round and blue then it is young.
Gary is not big.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple5) -> rule4)) -> rule2) OR ((((triple3) -> rule1) triple3) -> rule2) OR ((((triple6 triple3) -> rule3) triple3) -> rule2) OR ((((triple3) -> rule1) ((triple5) -> rule4)) -> rule2) OR ((((triple6 triple3) -> rule3) ((triple5) -> rule4)) -> rule2) OR ((((((triple5) -> rule4)) -> rule1) triple3) -> rule2) OR ((((triple6 ((triple5) -> rule4)) -> rule3) triple3) -> rule2) OR ((((((triple5) -> rule4)) -> rule1) ((triple5) -> rule4)) -> rule2) OR ((((triple6 ((triple5) -> rule4)) -> rule3) ((triple5) -> rule4)) -> rule2))] Gary is furry.[(triple3 OR ((triple5) -> rule4))] Gary is green.[(triple4 OR ((triple3) -> rule1) OR ((triple6 triple3) -> rule3) OR ((((triple5) -> rule4)) -> rule1) OR ((triple6 ((triple5) -> rule4)) -> rule3))] Gary is quiet.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7 OR ((triple6 triple2) -> rule5) OR ((triple6 triple2) -> rule6) OR ((triple6 ((triple4 triple3) -> rule2)) -> rule5) OR ((triple6 ((triple4 triple3) -> rule2)) -> rule6) OR ((triple6 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple6 ((triple4 ((triple5) -> rule4)) -> rule2)) -> rule6) OR ((triple6 ((((triple3) -> rule1) triple3) -> rule2)) -> rule5) OR ((triple6 ((((triple3) -> rule1) triple3) -> rule2)) -> rule6) OR ((triple6 ((((triple6 triple3) -> rule3) triple3) -> rule2)) -> rule5) OR ((triple6 ((((triple6 triple3) -> rule3) triple3) -> rule2)) -> rule6) OR ((triple6 ((((triple3) -> rule1) ((triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple6 ((((triple3) -> rule1) ((triple5) -> rule4)) -> rule2)) -> rule6) OR ((triple6 ((((triple6 triple3) -> rule3) ((triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple6 ((((triple6 triple3) -> rule3) ((triple5) -> rule4)) -> rule2)) -> rule6) OR ((triple6 ((((((triple5) -> rule4)) -> rule1) triple3) -> rule2)) -> rule5) OR ((triple6 ((((((triple5) -> rule4)) -> rule1) triple3) -> rule2)) -> rule6) OR ((triple6 ((((triple6 ((triple5) -> rule4)) -> rule3) triple3) -> rule2)) -> rule5) OR ((triple6 ((((triple6 ((triple5) -> rule4)) -> rule3) triple3) -> rule2)) -> rule6) OR ((triple6 ((((((triple5) -> rule4)) -> rule1) ((triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple6 ((((((triple5) -> rule4)) -> rule1) ((triple5) -> rule4)) -> rule2)) -> rule6) OR ((triple6 ((((triple6 ((triple5) -> rule4)) -> rule3) ((triple5) -> rule4)) -> rule2)) -> rule5) OR ((triple6 ((((triple6 ((triple5) -> rule4)) -> rule3) ((triple5) -> rule4)) -> rule2)) -> rule6))]