Bob is big. Bob is green. Bob is quiet. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is white. All big people are kind. All quiet people are white. If Bob is big then Bob is green.
Bob is red.
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule3))] Bob is quiet.[(triple3)] Fiona is big.[(triple4)] Fiona is green.[(triple5)] Fiona is kind.[(triple6 OR ((triple4) -> rule1))] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is smart.[(triple9)] Fiona is white.[(triple10 OR ((triple7) -> rule2))] @1: Bob is kind.[(((triple1) -> rule1))] Bob is white.[(((triple3) -> rule2))]