Bob is big. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is round. Fiona is big. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is round. Furry things are quiet. All furry, quiet things are green. If Bob is kind then Bob is rough.
Fiona is not furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4 OR ((triple2) -> rule1))] Bob is rough.[(triple5 OR ((triple3) -> rule3))] Bob is round.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9 OR ((triple8 triple10) -> rule2) OR ((triple8 ((triple8) -> rule1)) -> rule2))] Fiona is quiet.[(triple10 OR ((triple8) -> rule1))] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] @1: Bob is green.[(((triple2 triple4) -> rule2) OR ((triple2 ((triple2) -> rule1)) -> rule2))]