Bob is green. Bob is nice. Bob is red. Bob is round. Bob is white. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Fiona is green. Fiona is red. Fiona is round. Fiona is white. Gary is green. Gary is rough. If Charlie is red and Charlie is nice then Charlie is green. If someone is round and green then they are red. All green people are round.
Bob is not green.
@0: Bob is green.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3 OR ((triple4 triple1) -> rule2) OR ((((triple1) -> rule3) triple1) -> rule2))] Bob is round.[(triple4 OR ((triple1) -> rule3))] Bob is white.[(triple5)] Charlie is nice.[(triple6)] Charlie is red.[(triple7)] Charlie is round.[(triple8 OR ((((triple7 triple6) -> rule1)) -> rule3))] Charlie is white.[(triple9)] Fiona is green.[(triple10)] Fiona is red.[(triple11 OR ((triple12 triple10) -> rule2) OR ((((triple10) -> rule3) triple10) -> rule2))] Fiona is round.[(triple12 OR ((triple10) -> rule3))] Fiona is white.[(triple13)] Gary is green.[(triple14)] Gary is rough.[(triple15)] @1: Charlie is green.[(((triple7 triple6) -> rule1))] Gary is round.[(((triple14) -> rule3))] @2: Gary is red.[(((((triple14) -> rule3) triple14) -> rule2))]