Charlie is blue. Charlie is furry. Dave is big. Dave is rough. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is smart. Harry is smart. All big, smart people are blue. Furry, nice people are rough. All nice, green people are rough. If someone is blue and furry then they are nice. All green people are blue. Big, smart people are rough.
Harry is not blue.
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2)] Dave is big.[(triple3)] Dave is rough.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6 OR ((triple5 triple9) -> rule1))] Fiona is furry.[(triple7)] Fiona is nice.[(triple8 OR ((triple6 triple7) -> rule4) OR ((((triple5 triple9) -> rule1) triple7) -> rule4))] Fiona is smart.[(triple9)] Harry is smart.[(triple10)] @1: Charlie is nice.[(((triple1 triple2) -> rule4))] Fiona is rough.[(((triple5 triple9) -> rule6) OR ((triple7 triple8) -> rule2) OR ((triple7 ((triple6 triple7) -> rule4)) -> rule2) OR ((triple7 ((((triple5 triple9) -> rule1) triple7) -> rule4)) -> rule2))] @2: Charlie is rough.[(((triple2 ((triple1 triple2) -> rule4)) -> rule2))]