Bob is big. Bob is blue. Bob is furry. Bob is not green. Bob is not nice. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is not kind. Charlie is nice. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is nice. If Charlie is not nice then Charlie is not big. If something is blue then it is big. If something is green and not furry then it is big. Blue, big things are cold. All kind things are blue. Nice things are blue. If Bob is cold and Bob is green then Bob is nice. If Bob is green and Bob is big then Bob is cold.
Gary is cold.
@0: Bob is big.[(triple1 OR ((triple2) -> rule2))] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is not green.[(triple4)] Bob is not nice.[(triple5)] Charlie is big.[(triple6 OR ((triple7) -> rule2) OR ((((triple11) -> rule6)) -> rule2))] Charlie is blue.[(triple7 OR ((triple11) -> rule6))] Charlie is cold.[(triple8 OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple7) -> rule2)) -> rule4) OR ((((triple11) -> rule6) triple6) -> rule4) OR ((((triple11) -> rule6) ((triple7) -> rule2)) -> rule4) OR ((triple7 ((((triple11) -> rule6)) -> rule2)) -> rule4) OR ((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule2)) -> rule4))] Charlie is furry.[(triple9)] Charlie is nice.[(triple11)] Charlie is not kind.[(triple10)] Gary is big.[(triple12 OR ((((triple15) -> rule5)) -> rule2) OR ((((triple16) -> rule6)) -> rule2))] Gary is furry.[(triple13)] Gary is green.[(triple14)] Gary is kind.[(triple15)] Gary is nice.[(triple16)] @1: Bob is cold.[(((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule2)) -> rule4))] Gary is blue.[(((triple15) -> rule5) OR ((triple16) -> rule6))] @2: Gary is cold.[(((((triple15) -> rule5) triple12) -> rule4) OR ((((triple16) -> rule6) triple12) -> rule4) OR ((((triple15) -> rule5) ((((triple15) -> rule5)) -> rule2)) -> rule4) OR ((((triple15) -> rule5) ((((triple16) -> rule6)) -> rule2)) -> rule4) OR ((((triple16) -> rule6) ((((triple15) -> rule5)) -> rule2)) -> rule4) OR ((((triple16) -> rule6) ((((triple16) -> rule6)) -> rule2)) -> rule4))]