Bob is big. Bob is kind. Bob is nice. Bob is smart. Charlie is not big. Charlie is kind. Charlie is nice. Erin is nice. Erin is red. Erin is smart. Nice things are smart. Young things are nice. If something is smart then it is red. All big, nice things are young. If something is young and kind then it is not rough. All young things are not rough. If something is red and not smart then it is not rough. If Bob is rough and Bob is young then Bob is kind.
Erin is not young.
@0: Bob is big.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Bob is smart.[(triple4 OR ((triple3) -> rule1))] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is not big.[(triple5)] Erin is nice.[(triple8)] Erin is red.[(triple9 OR ((triple10) -> rule3) OR ((((triple8) -> rule1)) -> rule3))] Erin is smart.[(triple10 OR ((triple8) -> rule1))] @1: Bob is red.[(((triple4) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Bob is young.[(((triple1 triple3) -> rule4))] Charlie is smart.[(((triple7) -> rule1))] @2: Bob is not rough.[(((((triple1 triple3) -> rule4)) -> rule6) OR ((((triple1 triple3) -> rule4) triple2) -> rule5))] Charlie is red.[(((((triple7) -> rule1)) -> rule3))]