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