Anne is big. Anne is green. Anne is round. Anne is young. Bob is green. Bob is rough. Bob is round. Bob is young. Erin is big. Erin is green. Erin is round. Fiona is big. Fiona is furry. Fiona is green. Fiona is round. If Erin is furry then Erin is blue. If someone is green and round then they are young. All big, young people are blue.
Bob is not blue.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4 OR ((triple2 triple3) -> rule2))] Bob is green.[(triple5)] Bob is rough.[(triple6)] Bob is round.[(triple7)] Bob is young.[(triple8 OR ((triple5 triple7) -> rule2))] Erin is big.[(triple9)] Erin is green.[(triple10)] Erin is round.[(triple11)] Fiona is big.[(triple12)] Fiona is furry.[(triple13)] Fiona is green.[(triple14)] Fiona is round.[(triple15)] @1: Anne is blue.[(((triple1 triple4) -> rule3) OR ((triple1 ((triple2 triple3) -> rule2)) -> rule3))] Erin is young.[(((triple10 triple11) -> rule2))] Fiona is young.[(((triple14 triple15) -> rule2))] @2: Erin is blue.[(((triple9 ((triple10 triple11) -> rule2)) -> rule3))] Fiona is blue.[(((triple12 ((triple14 triple15) -> rule2)) -> rule3))]