Bob is big. Bob is kind. Bob is nice. Bob is not red. Bob is rough. Bob is smart. Bob is white. Erin is big. Erin is not kind. Erin is nice. Erin is not red. Erin is rough. Erin is smart. Erin is white. If Bob is smart then Bob is nice. If Bob is nice and Bob is kind then Bob is smart. All kind, big things are rough. All nice, red things are white. All rough things are white. If Erin is white and Erin is not rough then Erin is smart. If Bob is not smart then Bob is rough. If something is smart and not nice then it is not red.
Erin is big.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3 OR ((triple6) -> rule1))] Bob is not red.[(triple4)] Bob is rough.[(triple5 OR ((triple2 triple1) -> rule3))] Bob is smart.[(triple6 OR ((triple3 triple2) -> rule2))] Bob is white.[(triple7 OR ((triple5) -> rule5) OR ((((triple2 triple1) -> rule3)) -> rule5))] Erin is big.[(triple8)] Erin is nice.[(triple10)] Erin is not kind.[(triple9)] Erin is not red.[(triple11)] Erin is rough.[(triple12)] Erin is smart.[(triple13)] Erin is white.[(triple14 OR ((triple12) -> rule5))]