Bob is big. Bob is green. Bob is not kind. Fiona is green. Fiona is not kind. Fiona is smart. Fiona is white. Gary is not nice. Gary is quiet. Gary is white. If someone is white and not kind then they are nice. All big, white people are green. If someone is white and quiet then they are green. If someone is smart and not kind then they are green. If someone is big and green then they are smart. If someone is green and white then they are smart.
Gary is not big.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is not kind.[(triple3)] Fiona is green.[(triple4 OR ((triple6 triple5) -> rule4))] Fiona is not kind.[(triple5)] Fiona is smart.[(triple6 OR ((triple4 triple7) -> rule6))] Fiona is white.[(triple7)] Gary is not nice.[(triple8)] Gary is quiet.[(triple9)] Gary is white.[(triple10)] @1: Bob is smart.[(((triple1 triple2) -> rule5))] Fiona is nice.[(((triple7 triple5) -> rule1))] Gary is green.[(((triple10 triple9) -> rule3))] @2: Gary is smart.[(((((triple10 triple9) -> rule3) triple10) -> rule6))]