Bob is not big. Bob is green. Bob is not red. Bob is rough. Bob is smart. Fiona is big. Fiona is red. Gary is big. Gary is rough. Gary is smart. If Fiona is red then Fiona is young. If Fiona is not big then Fiona is red. If Bob is furry and Bob is smart then Bob is young. If someone is furry and rough then they are young. If someone is big and green then they are furry. All big, red people are furry. If someone is furry then they are green. If someone is green then they are rough.
Bob is furry.
@0: Bob is green.[(triple2)] Bob is not big.[(triple1)] Bob is not red.[(triple3)] Bob is rough.[(triple4 OR ((triple2) -> rule8))] Bob is smart.[(triple5)] Fiona is big.[(triple6)] Fiona is red.[(triple7)] Gary is big.[(triple8)] Gary is rough.[(triple9)] Gary is smart.[(triple10)] @1: Fiona is furry.[(((triple6 triple7) -> rule6))] Fiona is young.[(((triple7) -> rule1) OR ((((triple6 triple7) -> rule6) ((((((triple6 triple7) -> rule6)) -> rule7)) -> rule8)) -> rule4))] @2: Fiona is green.[(((((triple6 triple7) -> rule6)) -> rule7))] @3: Fiona is rough.[(((((((triple6 triple7) -> rule6)) -> rule7)) -> rule8))]