Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is smart. Dave is young. Erin is blue. Erin is cold. Erin is smart. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is kind. Big, blue things are cold. If Erin is green then Erin is kind. If something is big and green then it is blue. If something is young then it is cold. If Harry is smart then Harry is kind. If something is green then it is cold.
Erin is not kind.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1 triple4) -> rule3))] Dave is cold.[(triple3 OR ((triple4) -> rule6) OR ((triple7) -> rule4) OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple1 triple4) -> rule3)) -> rule1))] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Erin is blue.[(triple8)] Erin is cold.[(triple9)] Erin is smart.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12 OR ((triple11 triple14) -> rule3))] Harry is cold.[(triple13 OR ((triple14) -> rule6) OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple11 triple14) -> rule3)) -> rule1))] Harry is green.[(triple14)] Harry is kind.[(triple15)]