Dave is blue. Dave is kind. Dave is quiet. Dave is young. Gary is blue. Gary is kind. Gary is quiet. Gary is rough. Gary is white. Gary is young. If someone is cold and kind then they are rough. If someone is kind then they are blue. If Gary is white then Gary is blue. If someone is rough and white then they are young. If Gary is blue then Gary is cold. If someone is cold and blue then they are rough. All blue, quiet people are young. If Gary is young and Gary is white then Gary is cold.
Dave is cold.
@0: Dave is blue.[(triple1 OR ((triple2) -> rule2))] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is young.[(triple4 OR ((triple1 triple3) -> rule7) OR ((((triple2) -> rule2) triple3) -> rule7))] Gary is blue.[(triple5 OR ((triple6) -> rule2) OR ((triple9) -> rule3))] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] Gary is rough.[(triple8 OR ((((triple5) -> rule5) triple5) -> rule6) OR ((((triple5) -> rule5) triple6) -> rule1) OR ((((triple10 triple9) -> rule8) triple5) -> rule6) OR ((((triple10 triple9) -> rule8) triple6) -> rule1) OR ((((triple5) -> rule5) ((triple6) -> rule2)) -> rule6) OR ((((triple5) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((triple10 triple9) -> rule8) ((triple6) -> rule2)) -> rule6) OR ((((triple10 triple9) -> rule8) ((triple9) -> rule3)) -> rule6) OR ((((((triple6) -> rule2)) -> rule5) triple5) -> rule6) OR ((((((triple6) -> rule2)) -> rule5) triple6) -> rule1) OR ((((((triple9) -> rule3)) -> rule5) triple5) -> rule6) OR ((((((triple9) -> rule3)) -> rule5) triple6) -> rule1) OR ((((((triple5 triple7) -> rule7) triple9) -> rule8) triple5) -> rule6) OR ((((((triple5 triple7) -> rule7) triple9) -> rule8) triple6) -> rule1) OR ((((((triple6) -> rule2)) -> rule5) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple9) -> rule3)) -> rule5) ((triple6) -> rule2)) -> rule6) OR ((((((triple9) -> rule3)) -> rule5) ((triple9) -> rule3)) -> rule6) OR ((((((triple5 triple7) -> rule7) triple9) -> rule8) ((triple6) -> rule2)) -> rule6) OR ((((((triple5 triple7) -> rule7) triple9) -> rule8) ((triple9) -> rule3)) -> rule6) OR ((((((((triple6) -> rule2) triple7) -> rule7) triple9) -> rule8) triple5) -> rule6) OR ((((((((triple6) -> rule2) triple7) -> rule7) triple9) -> rule8) triple6) -> rule1) OR ((((((((triple9) -> rule3) triple7) -> rule7) triple9) -> rule8) triple5) -> rule6) OR ((((((((triple9) -> rule3) triple7) -> rule7) triple9) -> rule8) triple6) -> rule1) OR ((((((((triple6) -> rule2) triple7) -> rule7) triple9) -> rule8) ((triple6) -> rule2)) -> rule6) OR ((((((((triple6) -> rule2) triple7) -> rule7) triple9) -> rule8) ((triple9) -> rule3)) -> rule6) OR ((((((((triple9) -> rule3) triple7) -> rule7) triple9) -> rule8) ((triple6) -> rule2)) -> rule6) OR ((((((((triple9) -> rule3) triple7) -> rule7) triple9) -> rule8) ((triple9) -> rule3)) -> rule6))] Gary is white.[(triple9)] Gary is young.[(triple10 OR ((triple5 triple7) -> rule7) OR ((triple8 triple9) -> rule4) OR ((((triple6) -> rule2) triple7) -> rule7) OR ((((triple9) -> rule3) triple7) -> rule7) OR ((((((triple5) -> rule5) triple5) -> rule6) triple9) -> rule4) OR ((((((triple5) -> rule5) triple6) -> rule1) triple9) -> rule4) OR ((((((triple5) -> rule5) ((triple6) -> rule2)) -> rule6) triple9) -> rule4) OR ((((((triple5) -> rule5) ((triple9) -> rule3)) -> rule6) triple9) -> rule4) OR ((((((((triple6) -> rule2)) -> rule5) triple5) -> rule6) triple9) -> rule4) OR ((((((((triple6) -> rule2)) -> rule5) triple6) -> rule1) triple9) -> rule4) OR ((((((((triple9) -> rule3)) -> rule5) triple5) -> rule6) triple9) -> rule4) OR ((((((((triple9) -> rule3)) -> rule5) triple6) -> rule1) triple9) -> rule4) OR ((((((((triple6) -> rule2)) -> rule5) ((triple6) -> rule2)) -> rule6) triple9) -> rule4) OR ((((((((triple6) -> rule2)) -> rule5) ((triple9) -> rule3)) -> rule6) triple9) -> rule4) OR ((((((((triple9) -> rule3)) -> rule5) ((triple6) -> rule2)) -> rule6) triple9) -> rule4) OR ((((((((triple9) -> rule3)) -> rule5) ((triple9) -> rule3)) -> rule6) triple9) -> rule4))] @1: Gary is cold.[(((triple5) -> rule5) OR ((triple10 triple9) -> rule8) OR ((((triple6) -> rule2)) -> rule5) OR ((((triple9) -> rule3)) -> rule5) OR ((((triple5 triple7) -> rule7) triple9) -> rule8) OR ((((triple8 triple9) -> rule4) triple9) -> rule8) OR ((((((triple6) -> rule2) triple7) -> rule7) triple9) -> rule8) OR ((((((triple9) -> rule3) triple7) -> rule7) triple9) -> rule8))]