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