Bob is blue. Bob is kind. Bob is smart. Erin is green. Erin is rough. Erin is smart. Fiona is blue. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is smart. If something is green then it is rough. All blue things are rough. Rough things are blue.
Fiona is quiet.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Erin is green.[(triple4)] Erin is rough.[(triple5 OR ((triple4) -> rule1))] Erin is smart.[(triple6)] Fiona is blue.[(triple7 OR ((triple10) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is rough.[(triple10 OR ((triple7) -> rule2) OR ((triple8) -> rule1))] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] @1: Bob is rough.[(((triple1) -> rule2))] Erin is blue.[(((triple5) -> rule3) OR ((((triple4) -> rule1)) -> rule3))]