Gary is big. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is white. Gary is young. Red, white people are big. All red, furry people are kind. If someone is kind and big then they are quiet. If someone is quiet and kind then they are white. If Gary is young then Gary is white. Quiet people are young.
Gary is not furry.
@0: Gary is big.[(triple1 OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple7) -> rule5)) -> rule1) OR ((triple5 ((triple4 triple3) -> rule4)) -> rule1) OR ((triple5 ((((triple4) -> rule6)) -> rule5)) -> rule1) OR ((triple5 ((triple4 ((triple5 triple2) -> rule2)) -> rule4)) -> rule1))] Gary is furry.[(triple2)] Gary is kind.[(triple3 OR ((triple5 triple2) -> rule2))] Gary is quiet.[(triple4 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple5 triple6) -> rule1)) -> rule3) OR ((((triple5 triple2) -> rule2) triple1) -> rule3) OR ((((triple5 triple2) -> rule2) ((triple5 triple6) -> rule1)) -> rule3) OR ((triple3 ((triple5 ((triple7) -> rule5)) -> rule1)) -> rule3) OR ((((triple5 triple2) -> rule2) ((triple5 ((triple7) -> rule5)) -> rule1)) -> rule3))] Gary is red.[(triple5)] Gary is white.[(triple6 OR ((triple7) -> rule5) OR ((triple4 triple3) -> rule4) OR ((((triple4) -> rule6)) -> rule5) OR ((triple4 ((triple5 triple2) -> rule2)) -> rule4) OR ((((triple3 triple1) -> rule3) triple3) -> rule4) OR ((((triple3 triple1) -> rule3) ((triple5 triple2) -> rule2)) -> rule4) OR ((((((triple3 triple1) -> rule3)) -> rule6)) -> rule5) OR ((((((triple5 triple2) -> rule2) triple1) -> rule3) triple3) -> rule4) OR ((((((triple5 triple2) -> rule2) triple1) -> rule3) ((triple5 triple2) -> rule2)) -> rule4) OR ((((((((triple5 triple2) -> rule2) triple1) -> rule3)) -> rule6)) -> rule5))] Gary is young.[(triple7 OR ((triple4) -> rule6) OR ((((triple3 triple1) -> rule3)) -> rule6) OR ((((triple3 ((triple5 triple6) -> rule1)) -> rule3)) -> rule6) OR ((((((triple5 triple2) -> rule2) triple1) -> rule3)) -> rule6) OR ((((((triple5 triple2) -> rule2) ((triple5 triple6) -> rule1)) -> rule3)) -> rule6))]