Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Gary is young. Young, red people are quiet. All young people are cold. If Gary is cold then Gary is red. Blue, red people are quiet. If someone is red then they are young. All red people are blue.
Gary is not cold.
@0: Gary is blue.[(triple1 OR ((triple5) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((((triple7) -> rule2)) -> rule3)) -> rule6))] Gary is cold.[(triple2 OR ((triple7) -> rule2) OR ((((triple5) -> rule5)) -> rule2))] Gary is kind.[(triple3)] Gary is quiet.[(triple4 OR ((triple1 triple5) -> rule4) OR ((triple7 triple5) -> rule1) OR ((triple1 ((triple2) -> rule3)) -> rule4) OR ((triple7 ((triple2) -> rule3)) -> rule1) OR ((((triple5) -> rule5) triple5) -> rule1) OR ((((triple5) -> rule6) triple5) -> rule4) OR ((((triple5) -> rule5) ((triple2) -> rule3)) -> rule1) OR ((((triple5) -> rule6) ((triple2) -> rule3)) -> rule4) OR ((triple1 ((((triple7) -> rule2)) -> rule3)) -> rule4) OR ((triple7 ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((((triple2) -> rule3)) -> rule5) triple5) -> rule1) OR ((((((triple2) -> rule3)) -> rule6) triple5) -> rule4) OR ((((triple5) -> rule5) ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((triple5) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule4) OR ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule1) OR ((((((triple2) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule4) OR ((((((triple2) -> rule3)) -> rule5) ((((triple7) -> rule2)) -> rule3)) -> rule1) OR ((((((triple2) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule3)) -> rule6) triple5) -> rule4) OR ((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((triple2) -> rule3)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule3)) -> rule6) ((((triple7) -> rule2)) -> rule3)) -> rule4))] Gary is red.[(triple5 OR ((triple2) -> rule3) OR ((((triple7) -> rule2)) -> rule3))] Gary is smart.[(triple6)] Gary is young.[(triple7 OR ((triple5) -> rule5) OR ((((triple2) -> rule3)) -> rule5))]