Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is round. Gary is smart. If Gary is nice and Gary is smart then Gary is kind. If Gary is furry then Gary is nice. If someone is kind then they are big. Smart, furry people are kind. Kind, furry people are cold. If Gary is smart and Gary is kind then Gary is cold.
Gary is kind.
@0: Gary is big.[(triple1 OR ((triple4) -> rule3) OR ((((triple5 triple7) -> rule1)) -> rule3) OR ((((triple7 triple3) -> rule4)) -> rule3) OR ((((((triple3) -> rule2) triple7) -> rule1)) -> rule3))] Gary is cold.[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple7 triple4) -> rule6) OR ((triple7 ((triple5 triple7) -> rule1)) -> rule6) OR ((triple7 ((triple7 triple3) -> rule4)) -> rule6) OR ((((triple5 triple7) -> rule1) triple3) -> rule5) OR ((((triple7 triple3) -> rule4) triple3) -> rule5) OR ((triple7 ((((triple3) -> rule2) triple7) -> rule1)) -> rule6) OR ((((((triple3) -> rule2) triple7) -> rule1) triple3) -> rule5))] Gary is furry.[(triple3)] Gary is kind.[(triple4 OR ((triple5 triple7) -> rule1) OR ((triple7 triple3) -> rule4) OR ((((triple3) -> rule2) triple7) -> rule1))] Gary is nice.[(triple5 OR ((triple3) -> rule2))] Gary is round.[(triple6)] Gary is smart.[(triple7)]