Bob is big. Bob is blue. Bob is not cold. Bob is green. Dave is big. Dave is blue. Dave is furry. Gary is big. Gary is blue. Gary is cold. Gary is green. Gary is nice. All nice things are blue. If Dave is cold then Dave is blue. Cold, blue things are nice. Green things are nice. If something is blue then it is kind. If something is blue and cold then it is green. If Bob is blue then Bob is not furry. If something is big and not green then it is furry.
Dave is not green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((((triple4) -> rule4)) -> rule1))] Bob is green.[(triple4)] Bob is not cold.[(triple3)] Dave is big.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple12) -> rule1) OR ((((triple11) -> rule4)) -> rule1))] Gary is cold.[(triple10)] Gary is green.[(triple11 OR ((triple9 triple10) -> rule6) OR ((((triple12) -> rule1) triple10) -> rule6))] Gary is nice.[(triple12 OR ((triple11) -> rule4) OR ((triple10 triple9) -> rule3) OR ((((triple9 triple10) -> rule6)) -> rule4))] @1: Bob is kind.[(((triple2) -> rule5) OR ((((((triple4) -> rule4)) -> rule1)) -> rule5))] Bob is nice.[(((triple4) -> rule4))] Bob is not furry.[(((triple2) -> rule7) OR ((((((triple4) -> rule4)) -> rule1)) -> rule7))] Dave is kind.[(((triple6) -> rule5))] Gary is kind.[(((triple9) -> rule5) OR ((((triple12) -> rule1)) -> rule5) OR ((((((triple11) -> rule4)) -> rule1)) -> rule5))]