Bob is blue. Bob is green. Bob is red. Bob is round. Fiona is blue. Fiona is green. Fiona is nice. Fiona is not round. Fiona is smart. Fiona is not young. Round, red people are nice. If Bob is blue and Bob is young then Bob is nice. Blue people are smart.
Fiona is young.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4)] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7)] Fiona is not round.[(triple8)] Fiona is not young.[(triple10)] Fiona is smart.[(triple9 OR ((triple5) -> rule3))] @1: Bob is nice.[(((triple4 triple3) -> rule1))] Bob is smart.[(((triple1) -> rule3))]