Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is red. Cold people are quiet. All green people are red. If Gary is nice and Gary is quiet then Gary is red. Red people are green. If someone is big then they are cold. If someone is red then they are cold.
Gary is big.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3 OR ((triple1) -> rule5) OR ((triple7) -> rule6) OR ((((triple4) -> rule2)) -> rule6) OR ((((triple5 triple6) -> rule3)) -> rule6))] Gary is green.[(triple4 OR ((triple7) -> rule4) OR ((((triple5 triple6) -> rule3)) -> rule4) OR ((((triple5 ((triple3) -> rule1)) -> rule3)) -> rule4) OR ((((triple5 ((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule4))] Gary is nice.[(triple5)] Gary is quiet.[(triple6 OR ((triple3) -> rule1) OR ((((triple1) -> rule5)) -> rule1) OR ((((triple7) -> rule6)) -> rule1) OR ((((((triple4) -> rule2)) -> rule6)) -> rule1))] Gary is red.[(triple7 OR ((triple4) -> rule2) OR ((triple5 triple6) -> rule3) OR ((triple5 ((triple3) -> rule1)) -> rule3) OR ((triple5 ((((triple1) -> rule5)) -> rule1)) -> rule3))]