Bob is big. Bob is cold. Bob is furry. Bob is green. Bob is not nice. Bob is red. Charlie is cold. Charlie is green. Charlie is nice. Charlie is young. Gary is cold. Gary is not furry. Gary is not green. Gary is red. Gary is young. Big things are furry. If Bob is red then Bob is not nice. All green, furry things are cold.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple1) -> rule1)) -> rule3))] Bob is furry.[(triple3 OR ((triple1) -> rule1))] Bob is green.[(triple4)] Bob is not nice.[(triple5 OR ((triple6) -> rule2))] Bob is red.[(triple6)] Charlie is cold.[(triple7)] Charlie is green.[(triple8)] Charlie is nice.[(triple9)] Charlie is young.[(triple10)] Gary is cold.[(triple11)] Gary is not furry.[(triple12)] Gary is not green.[(triple13)] Gary is red.[(triple14)] Gary is young.[(triple15)]