Bob is big. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Charlie is big. Charlie is blue. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Dave is big. Dave is nice. Dave is rough. Erin is quiet. If something is quiet then it is smart. If something is smart then it is big. All big things are nice.
Dave is not big.
@0: Bob is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Bob is smart.[(triple4 OR ((triple2) -> rule1))] Bob is white.[(triple5)] Charlie is big.[(triple6 OR ((triple11) -> rule2) OR ((((triple9) -> rule1)) -> rule2))] Charlie is blue.[(triple7)] Charlie is nice.[(triple8 OR ((triple6) -> rule3) OR ((((triple11) -> rule2)) -> rule3) OR ((((((triple9) -> rule1)) -> rule2)) -> rule3))] Charlie is quiet.[(triple9)] Charlie is rough.[(triple10)] Charlie is smart.[(triple11 OR ((triple9) -> rule1))] Charlie is white.[(triple12)] Dave is big.[(triple13)] Dave is nice.[(triple14 OR ((triple13) -> rule3))] Dave is rough.[(triple15)] Erin is quiet.[(triple16)] @1: Bob is nice.[(((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2)) -> rule3))] Erin is smart.[(((triple16) -> rule1))] @2: Erin is big.[(((((triple16) -> rule1)) -> rule2))] @3: Erin is nice.[(((((((triple16) -> rule1)) -> rule2)) -> rule3))]