Anne is cold. Bob is big. Bob is blue. Bob is cold. Bob is nice. Charlie is kind. Erin is big. Erin is blue. Erin is nice. Erin is round. Round, nice things are kind. If something is kind then it is rough. All round things are big. If Anne is kind and Anne is rough then Anne is round. If something is cold then it is round. If something is round and cold then it is big.
Erin is kind.
@0: Anne is cold.[(triple1)] Bob is big.[(triple2 OR ((((triple4) -> rule5)) -> rule3) OR ((((triple4) -> rule5) triple4) -> rule6))] Bob is blue.[(triple3)] Bob is cold.[(triple4)] Bob is nice.[(triple5)] Charlie is kind.[(triple6)] Erin is big.[(triple7 OR ((triple10) -> rule3))] Erin is blue.[(triple8)] Erin is nice.[(triple9)] Erin is round.[(triple10)] @1: Anne is round.[(((triple1) -> rule5))] Bob is round.[(((triple4) -> rule5))] Charlie is rough.[(((triple6) -> rule2))] Erin is kind.[(((triple10 triple9) -> rule1))] @2: Anne is big.[(((((triple1) -> rule5)) -> rule3) OR ((((triple1) -> rule5) triple1) -> rule6))] Bob is kind.[(((((triple4) -> rule5) triple5) -> rule1))] Erin is rough.[(((((triple10 triple9) -> rule1)) -> rule2))] @3: Bob is rough.[(((((((triple4) -> rule5) triple5) -> rule1)) -> rule2))]