Anne is kind. Bob is big. Bob is cold. Bob is green. Bob is kind. Bob is smart. Bob is white. Bob is young. Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is smart. Erin is white. Gary is green. Gary is smart. If something is big then it is green. If something is young then it is green. All big, white things are kind.
Anne is not kind.
@0: Anne is kind.[(triple1)] Bob is big.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4 OR ((triple2) -> rule1) OR ((triple8) -> rule2))] Bob is kind.[(triple5 OR ((triple2 triple7) -> rule3))] Bob is smart.[(triple6)] Bob is white.[(triple7)] Bob is young.[(triple8)] Erin is big.[(triple9)] Erin is cold.[(triple10)] Erin is green.[(triple11 OR ((triple9) -> rule1))] Erin is kind.[(triple12 OR ((triple9 triple14) -> rule3))] Erin is smart.[(triple13)] Erin is white.[(triple14)] Gary is green.[(triple15)] Gary is smart.[(triple16)]