Dave is blue. Dave is cold. Dave is kind. Dave is nice. Dave is red. Dave is white. Dave is young. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is red. Gary is white. Gary is young. If Gary is white and Gary is cold then Gary is blue. If something is kind then it is cold. If Gary is nice then Gary is young. All nice, red things are kind. If something is young and blue then it is red. All young things are kind. If Gary is red then Gary is nice. If Gary is nice then Gary is red.
Dave is not white.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3) -> rule2) OR ((((triple7) -> rule6)) -> rule2) OR ((((triple4 triple5) -> rule4)) -> rule2) OR ((((triple4 ((triple7 triple1) -> rule5)) -> rule4)) -> rule2))] Dave is kind.[(triple3 OR ((triple7) -> rule6) OR ((triple4 triple5) -> rule4) OR ((triple4 ((triple7 triple1) -> rule5)) -> rule4))] Dave is nice.[(triple4)] Dave is red.[(triple5 OR ((triple7 triple1) -> rule5))] Dave is white.[(triple6)] Dave is young.[(triple7)] Gary is blue.[(triple8 OR ((triple13 triple9) -> rule1) OR ((triple13 ((triple10) -> rule2)) -> rule1) OR ((triple13 ((((triple14) -> rule6)) -> rule2)) -> rule1) OR ((triple13 ((((triple11 triple12) -> rule4)) -> rule2)) -> rule1) OR ((triple13 ((((((triple11) -> rule3)) -> rule6)) -> rule2)) -> rule1) OR ((triple13 ((((triple11 ((triple11) -> rule8)) -> rule4)) -> rule2)) -> rule1) OR ((triple13 ((((((triple12) -> rule7) triple12) -> rule4)) -> rule2)) -> rule1) OR ((triple13 ((((((triple12) -> rule7) ((triple11) -> rule8)) -> rule4)) -> rule2)) -> rule1) OR ((triple13 ((((((((triple12) -> rule7)) -> rule3)) -> rule6)) -> rule2)) -> rule1))] Gary is cold.[(triple9 OR ((triple10) -> rule2) OR ((((triple14) -> rule6)) -> rule2) OR ((((triple11 triple12) -> rule4)) -> rule2) OR ((((((triple11) -> rule3)) -> rule6)) -> rule2) OR ((((triple11 ((triple11) -> rule8)) -> rule4)) -> rule2) OR ((((triple11 ((triple14 triple8) -> rule5)) -> rule4)) -> rule2) OR ((((((triple12) -> rule7) triple12) -> rule4)) -> rule2) OR ((((((triple12) -> rule7) ((triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((triple12) -> rule7) ((triple14 triple8) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple12) -> rule7)) -> rule3)) -> rule6)) -> rule2) OR ((((triple11 ((((triple11) -> rule3) triple8) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple14 triple8) -> rule5)) -> rule7) triple12) -> rule4)) -> rule2) OR ((((((triple12) -> rule7) ((((triple11) -> rule3) triple8) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple14 triple8) -> rule5)) -> rule7) ((triple11) -> rule8)) -> rule4)) -> rule2) OR ((((((((triple14 triple8) -> rule5)) -> rule7) ((triple14 triple8) -> rule5)) -> rule4)) -> rule2) OR ((((((((triple14 triple8) -> rule5)) -> rule7) ((((triple11) -> rule3) triple8) -> rule5)) -> rule4)) -> rule2))] Gary is kind.[(triple10 OR ((triple14) -> rule6) OR ((triple11 triple12) -> rule4) OR ((((triple11) -> rule3)) -> rule6) OR ((triple11 ((triple11) -> rule8)) -> rule4) OR ((triple11 ((triple14 triple8) -> rule5)) -> rule4) OR ((((triple12) -> rule7) triple12) -> rule4) OR ((((triple12) -> rule7) ((triple11) -> rule8)) -> rule4) OR ((((triple12) -> rule7) ((triple14 triple8) -> rule5)) -> rule4) OR ((((((triple12) -> rule7)) -> rule3)) -> rule6) OR ((triple11 ((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule4) OR ((triple11 ((((triple11) -> rule3) triple8) -> rule5)) -> rule4) OR ((((((triple14 triple8) -> rule5)) -> rule7) triple12) -> rule4) OR ((triple11 ((((triple11) -> rule3) ((triple13 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((triple12) -> rule7) ((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((triple12) -> rule7) ((((triple11) -> rule3) triple8) -> rule5)) -> rule4) OR ((((((triple14 triple8) -> rule5)) -> rule7) ((triple11) -> rule8)) -> rule4) OR ((((((triple14 triple8) -> rule5)) -> rule7) ((triple14 triple8) -> rule5)) -> rule4) OR ((((triple12) -> rule7) ((((triple11) -> rule3) ((triple13 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14 triple8) -> rule5)) -> rule7) ((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14 triple8) -> rule5)) -> rule7) ((((triple11) -> rule3) triple8) -> rule5)) -> rule4) OR ((((((triple14 triple8) -> rule5)) -> rule7) ((((triple11) -> rule3) ((triple13 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule7) triple12) -> rule4) OR ((((((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule7) ((triple11) -> rule8)) -> rule4) OR ((((((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule7) ((triple14 triple8) -> rule5)) -> rule4) OR ((((((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule7) ((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule7) ((((triple11) -> rule3) triple8) -> rule5)) -> rule4) OR ((((((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule7) ((((triple11) -> rule3) ((triple13 triple9) -> rule1)) -> rule5)) -> rule4))] Gary is nice.[(triple11 OR ((triple12) -> rule7) OR ((((triple14 triple8) -> rule5)) -> rule7) OR ((((triple14 ((triple13 triple9) -> rule1)) -> rule5)) -> rule7) OR ((((triple14 ((triple13 ((triple10) -> rule2)) -> rule1)) -> rule5)) -> rule7) OR ((((triple14 ((triple13 ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule5)) -> rule7))] Gary is red.[(triple12 OR ((triple11) -> rule8) OR ((triple14 triple8) -> rule5) OR ((triple14 ((triple13 triple9) -> rule1)) -> rule5) OR ((((triple11) -> rule3) triple8) -> rule5) OR ((((triple11) -> rule3) ((triple13 triple9) -> rule1)) -> rule5) OR ((triple14 ((triple13 ((triple10) -> rule2)) -> rule1)) -> rule5) OR ((((triple11) -> rule3) ((triple13 ((triple10) -> rule2)) -> rule1)) -> rule5) OR ((triple14 ((triple13 ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((((triple11) -> rule3) ((triple13 ((((triple14) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((triple14 ((triple13 ((((((triple11) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5) OR ((((triple11) -> rule3) ((triple13 ((((((triple11) -> rule3)) -> rule6)) -> rule2)) -> rule1)) -> rule5))] Gary is white.[(triple13)] Gary is young.[(triple14 OR ((triple11) -> rule3) OR ((((triple12) -> rule7)) -> rule3))]