Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is quiet. Gary is red. Gary is white. If something is nice and blue then it is white. Kind things are white. If something is red and quiet then it is kind. All quiet things are red. If Gary is blue and Gary is cold then Gary is white. Red, white things are quiet.
Gary is blue.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2)] Gary is kind.[(triple3 OR ((triple6 triple5) -> rule3) OR ((triple6 ((triple6 triple7) -> rule6)) -> rule3) OR ((((triple5) -> rule4) triple5) -> rule3) OR ((((triple5) -> rule4) ((triple6 triple7) -> rule6)) -> rule3) OR ((triple6 ((triple6 ((triple1 triple2) -> rule5)) -> rule6)) -> rule3) OR ((triple6 ((triple6 ((triple4 triple1) -> rule1)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((triple6 ((triple1 triple2) -> rule5)) -> rule6)) -> rule3) OR ((((triple5) -> rule4) ((triple6 ((triple4 triple1) -> rule1)) -> rule6)) -> rule3))] Gary is nice.[(triple4)] Gary is quiet.[(triple5 OR ((triple6 triple7) -> rule6) OR ((triple6 ((triple3) -> rule2)) -> rule6) OR ((triple6 ((triple1 triple2) -> rule5)) -> rule6) OR ((triple6 ((triple4 triple1) -> rule1)) -> rule6))] Gary is red.[(triple6 OR ((triple5) -> rule4))] Gary is white.[(triple7 OR ((triple3) -> rule2) OR ((triple1 triple2) -> rule5) OR ((triple4 triple1) -> rule1) OR ((((triple6 triple5) -> rule3)) -> rule2) OR ((((((triple5) -> rule4) triple5) -> rule3)) -> rule2))]