Bob is big. Bob is not nice. Bob is rough. Bob is not young. Charlie is furry. Charlie is rough. Charlie is young. Dave is not furry. Dave is green. Dave is young. Fiona is big. Fiona is furry. Fiona is green. Fiona is nice. Fiona is rough. If Bob is not rough then Bob is blue. Rough people are big. Blue, rough people are big. Big people are blue. All big, rough people are blue. If Charlie is not green then Charlie is blue. If someone is nice and not furry then they are young. If Fiona is young then Fiona is not rough.
Dave is not blue.
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is not nice.[(triple2)] Bob is not young.[(triple4)] Bob is rough.[(triple3)] Charlie is furry.[(triple5)] Charlie is rough.[(triple6)] Charlie is young.[(triple7)] Dave is green.[(triple9)] Dave is not furry.[(triple8)] Dave is young.[(triple10)] Fiona is big.[(triple11 OR ((triple15) -> rule2))] Fiona is furry.[(triple12)] Fiona is green.[(triple13)] Fiona is nice.[(triple14)] Fiona is rough.[(triple15)] @1: Bob is blue.[(((triple1) -> rule4) OR ((triple1 triple3) -> rule5) OR ((((triple3) -> rule2)) -> rule4) OR ((((triple3) -> rule2) triple3) -> rule5))] Charlie is big.[(((triple6) -> rule2))] Fiona is blue.[(((triple11) -> rule4) OR ((triple11 triple15) -> rule5) OR ((((triple15) -> rule2)) -> rule4) OR ((((triple15) -> rule2) triple15) -> rule5))] @2: Charlie is blue.[(((((triple6) -> rule2)) -> rule4) OR ((((triple6) -> rule2) triple6) -> rule5))]