Bob is blue. Bob is furry. Bob is rough. Charlie is green. Charlie is kind. Charlie is red. Charlie is rough. Erin is big. Erin is blue. Erin is red. Erin is rough. Fiona is big. Fiona is blue. Fiona is furry. Fiona is red. If Erin is rough then Erin is furry. All green things are kind.
Charlie is furry.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is rough.[(triple3)] Charlie is green.[(triple4)] Charlie is kind.[(triple5 OR ((triple4) -> rule2))] Charlie is red.[(triple6)] Charlie is rough.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is red.[(triple10)] Erin is rough.[(triple11)] Fiona is big.[(triple12)] Fiona is blue.[(triple13)] Fiona is furry.[(triple14)] Fiona is red.[(triple15)] @1: Erin is furry.[(((triple11) -> rule1))]