Bob is cold. Bob is not quiet. Bob is smart. Dave is furry. Dave is green. Dave is not quiet. Dave is rough. Gary is big. Gary is green. Gary is quiet. Gary is rough. Gary is smart. Furry people are big. All quiet, green people are rough. If Dave is big and Dave is not quiet then Dave is furry. All big, furry people are smart. If someone is big and green then they are furry. If someone is green and not quiet then they are furry. If Bob is furry then Bob is not green. If someone is rough and not smart then they are not cold.
Bob is big.
@0: Bob is cold.[(triple1)] Bob is not quiet.[(triple2)] Bob is smart.[(triple3)] Dave is furry.[(triple4 OR ((triple5 triple6) -> rule6))] Dave is green.[(triple5)] Dave is not quiet.[(triple6)] Dave is rough.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11 OR ((triple10 triple9) -> rule2))] Gary is smart.[(triple12 OR ((triple8 ((triple8 triple9) -> rule5)) -> rule4))] @1: Dave is big.[(((triple4) -> rule1) OR ((((triple5 triple6) -> rule6)) -> rule1))] Gary is furry.[(((triple8 triple9) -> rule5))] @2: Dave is smart.[(((((triple4) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule1) ((triple5 triple6) -> rule6)) -> rule4) OR ((((((triple5 triple6) -> rule6)) -> rule1) triple4) -> rule4) OR ((((((triple5 triple6) -> rule6)) -> rule1) ((triple5 triple6) -> rule6)) -> rule4))]