Bob is big. Bob is nice. Bob is red. Bob is rough. Bob is smart. Bob is young. Fiona is big. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is young. If someone is red and nice then they are green. Nice, red people are green.
Fiona is big.
@0: Bob is big.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Bob is young.[(triple6)] Fiona is big.[(triple7)] Fiona is nice.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Bob is green.[(((triple2 triple3) -> rule2) OR ((triple3 triple2) -> rule1))] Fiona is green.[(((triple8 triple9) -> rule2) OR ((triple9 triple8) -> rule1))]