Anne is big. Anne is cold. Anne is green. Anne is round. Bob is big. Bob is blue. Bob is furry. Bob is green. Bob is kind. Bob is round. Charlie is cold. Charlie is green. Charlie is kind. Charlie is round. Gary is cold. Gary is kind. All cold, green people are blue. Blue people are furry. If Gary is kind then Gary is round. If someone is round then they are green. All furry people are big. If Anne is kind then Anne is blue. Furry, round people are blue.
Bob is round.
@0: Anne is big.[(triple1 OR ((((((triple2 triple3) -> rule1)) -> rule2)) -> rule5) OR ((((((triple2 ((triple4) -> rule4)) -> rule1)) -> rule2)) -> rule5))] Anne is cold.[(triple2)] Anne is green.[(triple3 OR ((triple4) -> rule4))] Anne is round.[(triple4)] Bob is big.[(triple5 OR ((triple7) -> rule5) OR ((((triple6) -> rule2)) -> rule5))] Bob is blue.[(triple6 OR ((triple7 triple10) -> rule7))] Bob is furry.[(triple7 OR ((triple6) -> rule2))] Bob is green.[(triple8 OR ((triple10) -> rule4))] Bob is kind.[(triple9)] Bob is round.[(triple10)] Charlie is cold.[(triple11)] Charlie is green.[(triple12 OR ((triple14) -> rule4))] Charlie is kind.[(triple13)] Charlie is round.[(triple14)] Gary is cold.[(triple15)] Gary is kind.[(triple16)] @1: Anne is blue.[(((triple2 triple3) -> rule1) OR ((triple2 ((triple4) -> rule4)) -> rule1))] Charlie is blue.[(((triple11 triple12) -> rule1) OR ((triple11 ((triple14) -> rule4)) -> rule1))] Gary is round.[(((triple16) -> rule3))] @2: Anne is furry.[(((((triple2 triple3) -> rule1)) -> rule2) OR ((((triple2 ((triple4) -> rule4)) -> rule1)) -> rule2))] Charlie is furry.[(((((triple11 triple12) -> rule1)) -> rule2) OR ((((triple11 ((triple14) -> rule4)) -> rule1)) -> rule2))] Gary is green.[(((((triple16) -> rule3)) -> rule4))] @3: Charlie is big.[(((((((triple11 triple12) -> rule1)) -> rule2)) -> rule5) OR ((((((triple11 ((triple14) -> rule4)) -> rule1)) -> rule2)) -> rule5))] Gary is blue.[(((triple15 ((((triple16) -> rule3)) -> rule4)) -> rule1))] @4: Gary is furry.[(((((triple15 ((((triple16) -> rule3)) -> rule4)) -> rule1)) -> rule2))] @5: Gary is big.[(((((((triple15 ((((triple16) -> rule3)) -> rule4)) -> rule1)) -> rule2)) -> rule5))]