Bob is furry. Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Fiona is big. Fiona is furry. Fiona is red. Fiona is round. Harry is blue. Harry is nice. Harry is round. All nice, blue people are furry.
Fiona is big.
@0: Bob is furry.[(triple1)] Charlie is big.[(triple2)] Charlie is blue.[(triple3)] Charlie is furry.[(triple4 OR ((triple5 triple3) -> rule1))] Charlie is nice.[(triple5)] Fiona is big.[(triple6)] Fiona is furry.[(triple7)] Fiona is red.[(triple8)] Fiona is round.[(triple9)] Harry is blue.[(triple10)] Harry is nice.[(triple11)] Harry is round.[(triple12)] @1: Harry is furry.[(((triple11 triple10) -> rule1))]