Bob is blue. Bob is furry. Charlie is blue. Charlie is kind. Charlie is nice. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Gary is big. Gary is blue. Gary is kind. Gary is nice. Gary is red. Kind people are nice. If someone is big then they are red.
Charlie is cold.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Charlie is blue.[(triple3)] Charlie is kind.[(triple4)] Charlie is nice.[(triple5 OR ((triple4) -> rule1))] Dave is big.[(triple6)] Dave is cold.[(triple7)] Dave is furry.[(triple8)] Dave is kind.[(triple9)] Dave is nice.[(triple10 OR ((triple9) -> rule1))] Gary is big.[(triple11)] Gary is blue.[(triple12)] Gary is kind.[(triple13)] Gary is nice.[(triple14 OR ((triple13) -> rule1))] Gary is red.[(triple15 OR ((triple11) -> rule2))] @1: Dave is red.[(((triple6) -> rule2))]