Bob is big. Bob is furry. Bob is nice. Bob is rough. Bob is smart. Erin is big. Erin is furry. Erin is rough. Erin is smart. Fiona is smart. Fiona is white. Gary is big. Gary is furry. Gary is nice. Gary is rough. Gary is smart. If Erin is furry and Erin is white then Erin is nice. If someone is white then they are nice. Cold people are nice. White people are big. If someone is white and nice then they are smart. All cold people are nice. If Gary is rough then Gary is big. If someone is furry and white then they are smart.
Fiona is nice.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is nice.[(triple3)] Bob is rough.[(triple4)] Bob is smart.[(triple5)] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9)] Fiona is smart.[(triple10 OR ((triple11 ((triple11) -> rule2)) -> rule5))] Fiona is white.[(triple11)] Gary is big.[(triple12 OR ((triple15) -> rule7))] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is rough.[(triple15)] Gary is smart.[(triple16)] @1: Fiona is big.[(((triple11) -> rule4))] Fiona is nice.[(((triple11) -> rule2))]