Anne is big. Anne is cold. Anne is red. Anne is round. Anne is white. Anne is young. Bob is not red. Bob is young. Charlie is big. Charlie is cold. Charlie is red. Charlie is not young. Erin is red. Erin is rough. Erin is white. Big, white things are not rough. If something is white and not big then it is round. All rough things are round. If something is big then it is round. If something is round then it is white. If Bob is round then Bob is cold. If Anne is big then Anne is cold. If something is big and not cold then it is young.
Bob is not cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple1) -> rule7))] Anne is red.[(triple3)] Anne is round.[(triple4 OR ((triple1) -> rule4))] Anne is white.[(triple5 OR ((triple4) -> rule5) OR ((((triple1) -> rule4)) -> rule5))] Anne is young.[(triple6)] Bob is not red.[(triple7)] Bob is young.[(triple8)] Charlie is big.[(triple9)] Charlie is cold.[(triple10)] Charlie is not young.[(triple12)] Charlie is red.[(triple11)] Erin is red.[(triple13)] Erin is rough.[(triple14)] Erin is white.[(triple15 OR ((((triple14) -> rule3)) -> rule5))] @1: Anne is not rough.[(((triple1 triple5) -> rule1) OR ((triple1 ((triple4) -> rule5)) -> rule1) OR ((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1))] Charlie is round.[(((triple9) -> rule4))] Erin is round.[(((triple14) -> rule3))] @2: Charlie is white.[(((((triple9) -> rule4)) -> rule5))] @3: Charlie is not rough.[(((triple9 ((((triple9) -> rule4)) -> rule5)) -> rule1))]