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