Bob is furry. Bob is nice. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is young. Fiona is furry. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. If someone is red then they are smart. All smart people are furry. If someone is red then they are rough.
Fiona is smart.
@0: Bob is furry.[(triple1 OR ((triple6) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule3))] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple3) -> rule1))] Bob is young.[(triple7)] Fiona is furry.[(triple8 OR ((triple13) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11 OR ((triple10) -> rule3))] Fiona is round.[(triple12)] Fiona is smart.[(triple13 OR ((triple10) -> rule1))] Fiona is young.[(triple14)]