Bob is green. Bob is red. Bob is rough. Bob is round. Bob is white. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. If someone is green and round then they are nice. All rough people are red. White people are green.
Bob is red.
@0: Bob is green.[(triple1 OR ((triple5) -> rule3))] Bob is red.[(triple2 OR ((triple3) -> rule2))] Bob is rough.[(triple3)] Bob is round.[(triple4)] Bob is white.[(triple5)] Fiona is green.[(triple6)] Fiona is nice.[(triple7 OR ((triple6 triple10) -> rule1))] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] @1: Bob is nice.[(((triple1 triple4) -> rule1) OR ((((triple5) -> rule3) triple4) -> rule1))]