Bob is not big. Bob is furry. Bob is quiet. Bob is red. Dave is furry. Dave is quiet. Dave is red. Dave is smart. Gary is quiet. Gary is red. Gary is rough. Gary is smart. Harry is not furry. Harry is green. Harry is red. Harry is rough. Green, rough people are red. All green, quiet people are not red. If someone is red and not smart then they are quiet. All green, red people are not quiet. If someone is smart and not green then they are quiet. If someone is quiet and not smart then they are furry. If someone is quiet and smart then they are big. Red, green people are big.
Bob is rough.
@0: Bob is furry.[(triple2)] Bob is not big.[(triple1)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Dave is furry.[(triple5)] Dave is quiet.[(triple6)] Dave is red.[(triple7)] Dave is smart.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] Harry is green.[(triple14)] Harry is not furry.[(triple13)] Harry is red.[(triple15 OR ((triple14 triple16) -> rule1))] Harry is rough.[(triple16)] @1: Dave is big.[(((triple6 triple8) -> rule7))] Gary is big.[(((triple9 triple12) -> rule7))] Harry is big.[(((triple15 triple14) -> rule8) OR ((((triple14 triple16) -> rule1) triple14) -> rule8))] Harry is not quiet.[(((triple14 triple15) -> rule4) OR ((triple14 ((triple14 triple16) -> rule1)) -> rule4))]