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