Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is nice. Fiona is big. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is white. Fiona is young. If Fiona is big then Fiona is nice. If Fiona is big then Fiona is nice. If Fiona is nice then Fiona is white. Big people are white. If someone is kind and not young then they are green. If someone is white and not nice then they are green. If someone is white and nice then they are green. If Erin is not green then Erin is not cold.
Fiona is white.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is green.[(triple3 OR ((((triple1) -> rule4) triple5) -> rule7))] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8 OR ((triple11 triple10) -> rule7) OR ((triple11 ((triple6) -> rule1)) -> rule7) OR ((triple11 ((triple6) -> rule2)) -> rule7) OR ((((triple10) -> rule3) triple10) -> rule7) OR ((((triple6) -> rule4) triple10) -> rule7) OR ((((triple10) -> rule3) ((triple6) -> rule1)) -> rule7) OR ((((triple10) -> rule3) ((triple6) -> rule2)) -> rule7) OR ((((triple6) -> rule4) ((triple6) -> rule1)) -> rule7) OR ((((triple6) -> rule4) ((triple6) -> rule2)) -> rule7) OR ((((((triple6) -> rule1)) -> rule3) triple10) -> rule7) OR ((((((triple6) -> rule2)) -> rule3) triple10) -> rule7) OR ((((((triple6) -> rule1)) -> rule3) ((triple6) -> rule1)) -> rule7) OR ((((((triple6) -> rule1)) -> rule3) ((triple6) -> rule2)) -> rule7) OR ((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule1)) -> rule7) OR ((((((triple6) -> rule2)) -> rule3) ((triple6) -> rule2)) -> rule7))] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple6) -> rule1) OR ((triple6) -> rule2))] Fiona is white.[(triple11 OR ((triple10) -> rule3) OR ((triple6) -> rule4) OR ((((triple6) -> rule1)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))] Fiona is young.[(triple12)] @1: Erin is white.[(((triple1) -> rule4))]