Erin is big. Erin is furry. Erin is green. Erin is not rough. Erin is round. Erin is smart. Fiona is big. Fiona is blue. Fiona is not green. Fiona is not rough. Fiona is round. Fiona is smart. All rough things are green. If something is rough and smart then it is big. Blue things are round. If Fiona is green then Fiona is blue. Green, big things are smart. All rough things are not blue. If Fiona is rough then Fiona is green. If Fiona is smart and Fiona is green then Fiona is furry.
Erin is not rough.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is not rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6 OR ((triple3 triple1) -> rule5))] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is not green.[(triple9)] Fiona is not rough.[(triple10)] Fiona is round.[(triple11 OR ((triple8) -> rule3))] Fiona is smart.[(triple12)]