Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is young. If someone is green and rough then they are smart. Cold, big people are rough. Rough, cold people are green.
Fiona is big.
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is green.[(triple3 OR ((triple5 triple2) -> rule3) OR ((((triple2 triple1) -> rule2) triple2) -> rule3))] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5 OR ((triple2 triple1) -> rule2))] Fiona is smart.[(triple6 OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple2 triple1) -> rule2)) -> rule1) OR ((((triple5 triple2) -> rule3) triple5) -> rule1) OR ((((triple5 triple2) -> rule3) ((triple2 triple1) -> rule2)) -> rule1) OR ((((((triple2 triple1) -> rule2) triple2) -> rule3) triple5) -> rule1) OR ((((((triple2 triple1) -> rule2) triple2) -> rule3) ((triple2 triple1) -> rule2)) -> rule1))] Fiona is young.[(triple7)]