Anne is cold. Anne is round. Bob is blue. Bob is round. Charlie is blue. Charlie is nice. Gary is cold. If something is big and green then it is not round. Blue, nice things are round. If Bob is furry then Bob is green. All cold, blue things are furry. Nice things are big. All round, cold things are not green. Green, cold things are not nice. If something is cold then it is nice. Big things are blue.
Bob is not big.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2 OR ((((((((triple1) -> rule8)) -> rule5)) -> rule9) ((triple1) -> rule8)) -> rule2))] Bob is blue.[(triple3)] Bob is round.[(triple4)] Charlie is blue.[(triple5 OR ((((triple6) -> rule5)) -> rule9))] Charlie is nice.[(triple6)] Gary is cold.[(triple7)] @1: Anne is nice.[(((triple1) -> rule8))] Anne is not green.[(((triple2 triple1) -> rule6) OR ((((((((((triple1) -> rule8)) -> rule5)) -> rule9) ((triple1) -> rule8)) -> rule2) triple1) -> rule6))] Charlie is big.[(((triple6) -> rule5))] Charlie is round.[(((triple5 triple6) -> rule2) OR ((((((triple6) -> rule5)) -> rule9) triple6) -> rule2))] Gary is nice.[(((triple7) -> rule8))] @2: Anne is big.[(((((triple1) -> rule8)) -> rule5))] Gary is big.[(((((triple7) -> rule8)) -> rule5))] @3: Anne is blue.[(((((((triple1) -> rule8)) -> rule5)) -> rule9))] Gary is blue.[(((((((triple7) -> rule8)) -> rule5)) -> rule9))] @4: Anne is furry.[(((triple1 ((((((triple1) -> rule8)) -> rule5)) -> rule9)) -> rule4))] Gary is furry.[(((triple7 ((((((triple7) -> rule8)) -> rule5)) -> rule9)) -> rule4))] Gary is round.[(((((((((triple7) -> rule8)) -> rule5)) -> rule9) ((triple7) -> rule8)) -> rule2))] @5: Gary is not green.[(((((((((((triple7) -> rule8)) -> rule5)) -> rule9) ((triple7) -> rule8)) -> rule2) triple7) -> rule6))]