Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is red. Erin is big. Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Harry is furry. Harry is green. Harry is kind. If something is cold then it is kind. If Harry is kind and Harry is red then Harry is furry. If something is nice and cold then it is big.
Harry is not green.
@0: Dave is cold.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3 OR ((triple1) -> rule1))] Dave is nice.[(triple4)] Dave is red.[(triple5)] Erin is big.[(triple6 OR ((triple11 triple7) -> rule3))] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10 OR ((triple7) -> rule1))] Erin is nice.[(triple11)] Erin is red.[(triple12)] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is kind.[(triple15)] @1: Dave is big.[(((triple4 triple1) -> rule3))]