Bob is green. Charlie is green. Charlie is kind. Charlie is nice. Charlie is rough. Dave is blue. Dave is furry. Dave is kind. Dave is rough. Fiona is furry. Fiona is kind. Fiona is rough. All nice things are green. Blue things are furry. All rough things are blue.
Dave is big.
@0: Bob is green.[(triple1)] Charlie is green.[(triple2 OR ((triple4) -> rule1))] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Dave is blue.[(triple6 OR ((triple9) -> rule3))] Dave is furry.[(triple7 OR ((triple6) -> rule2) OR ((((triple9) -> rule3)) -> rule2))] Dave is kind.[(triple8)] Dave is rough.[(triple9)] Fiona is furry.[(triple10 OR ((((triple12) -> rule3)) -> rule2))] Fiona is kind.[(triple11)] Fiona is rough.[(triple12)] @1: Charlie is blue.[(((triple5) -> rule3))] Fiona is blue.[(((triple12) -> rule3))] @2: Charlie is furry.[(((((triple5) -> rule3)) -> rule2))]