Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is red. Erin is white. Erin is young. Fiona is big. Fiona is blue. Fiona is not furry. Fiona is green. Fiona is red. Fiona is white. Fiona is young. If something is blue and not furry then it is young. If Erin is red then Erin is green. If Erin is young and Erin is not blue then Erin is green. If Fiona is not big then Fiona is red. If Fiona is white and Fiona is young then Fiona is green. If Fiona is red then Fiona is blue. All young things are green. If something is big and not blue then it is green.
Fiona is blue.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((triple5) -> rule2) OR ((triple7) -> rule7))] Erin is red.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9 OR ((triple12) -> rule6))] Fiona is green.[(triple11 OR ((triple14) -> rule7) OR ((triple13 triple14) -> rule5) OR ((((triple9 triple10) -> rule1)) -> rule7) OR ((triple13 ((triple9 triple10) -> rule1)) -> rule5) OR ((((((triple12) -> rule6) triple10) -> rule1)) -> rule7) OR ((triple13 ((((triple12) -> rule6) triple10) -> rule1)) -> rule5))] Fiona is not furry.[(triple10)] Fiona is red.[(triple12)] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple9 triple10) -> rule1) OR ((((triple12) -> rule6) triple10) -> rule1))]