Bob is blue. Bob is furry. Bob is rough. Bob is young. Dave is furry. Dave is round. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is young. Gary is big. Gary is blue. Gary is furry. Gary is rough. Gary is round. Gary is young. All kind things are blue. Blue things are round.
Fiona is blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Dave is furry.[(triple5)] Dave is round.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] Gary is big.[(triple11)] Gary is blue.[(triple12)] Gary is furry.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15 OR ((triple12) -> rule2))] Gary is young.[(triple16)] @1: Bob is round.[(((triple1) -> rule2))] Fiona is blue.[(((triple8) -> rule1))] @2: Fiona is round.[(((((triple8) -> rule1)) -> rule2))]