Gary is big. Gary is cold. Gary is green. Gary is nice. Gary is rough. Gary is smart. Gary is young. Cold people are big. If someone is cold and smart then they are big. If Gary is cold and Gary is nice then Gary is big. If Gary is green then Gary is big. If Gary is green and Gary is big then Gary is smart. If someone is nice then they are rough. All cold, smart people are rough. If Gary is green and Gary is smart then Gary is rough.
Gary is nice.
@0: Gary is big.[(triple1 OR ((triple2) -> rule1) OR ((triple3) -> rule4) OR ((triple2 triple4) -> rule3) OR ((triple2 triple6) -> rule2))] Gary is cold.[(triple2)] Gary is green.[(triple3)] Gary is nice.[(triple4)] Gary is rough.[(triple5 OR ((triple4) -> rule6) OR ((triple2 triple6) -> rule7) OR ((triple3 triple6) -> rule8) OR ((triple2 ((triple3 triple1) -> rule5)) -> rule7) OR ((triple3 ((triple3 triple1) -> rule5)) -> rule8) OR ((triple2 ((triple3 ((triple2) -> rule1)) -> rule5)) -> rule7) OR ((triple2 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((triple2 ((triple3 ((triple2 triple4) -> rule3)) -> rule5)) -> rule7) OR ((triple3 ((triple3 ((triple2) -> rule1)) -> rule5)) -> rule8) OR ((triple3 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule8) OR ((triple3 ((triple3 ((triple2 triple4) -> rule3)) -> rule5)) -> rule8))] Gary is smart.[(triple6 OR ((triple3 triple1) -> rule5) OR ((triple3 ((triple2) -> rule1)) -> rule5) OR ((triple3 ((triple3) -> rule4)) -> rule5) OR ((triple3 ((triple2 triple4) -> rule3)) -> rule5))] Gary is young.[(triple7)]