Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is white. Charlie is blue. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Erin is big. Erin is round. All round, nice people are red. All cold, white people are red. Cold people are big. Red, nice people are cold. If someone is big then they are nice. Red people are nice. If someone is white then they are blue. All white people are cold.
Bob is round.
@0: Bob is blue.[(triple1 OR ((triple5) -> rule7))] Bob is cold.[(triple2 OR ((triple5) -> rule8) OR ((triple4 triple3) -> rule4) OR ((triple4 ((triple4) -> rule6)) -> rule4))] Bob is nice.[(triple3 OR ((triple4) -> rule6) OR ((((triple2) -> rule3)) -> rule5) OR ((((triple2 triple5) -> rule2)) -> rule6) OR ((((((triple5) -> rule8)) -> rule3)) -> rule5) OR ((((((triple5) -> rule8) triple5) -> rule2)) -> rule6))] Bob is red.[(triple4 OR ((triple2 triple5) -> rule2) OR ((((triple5) -> rule8) triple5) -> rule2))] Bob is white.[(triple5)] Charlie is blue.[(triple6 OR ((triple10) -> rule7))] Charlie is nice.[(triple7 OR ((triple8) -> rule6) OR ((((((triple10) -> rule8)) -> rule3)) -> rule5) OR ((((((triple10) -> rule8) triple10) -> rule2)) -> rule6))] Charlie is red.[(triple8 OR ((triple9 triple7) -> rule1) OR ((((triple10) -> rule8) triple10) -> rule2) OR ((triple9 ((((((triple10) -> rule8)) -> rule3)) -> rule5)) -> rule1))] Charlie is round.[(triple9)] Charlie is white.[(triple10)] Erin is big.[(triple11)] Erin is round.[(triple12)] @1: Bob is big.[(((triple2) -> rule3) OR ((((triple5) -> rule8)) -> rule3) OR ((((triple4 triple3) -> rule4)) -> rule3) OR ((((triple4 ((triple4) -> rule6)) -> rule4)) -> rule3))] Charlie is cold.[(((triple10) -> rule8) OR ((triple8 triple7) -> rule4) OR ((triple8 ((triple8) -> rule6)) -> rule4) OR ((((triple9 triple7) -> rule1) triple7) -> rule4) OR ((((triple9 triple7) -> rule1) ((triple8) -> rule6)) -> rule4))] Erin is nice.[(((triple11) -> rule5))] @2: Charlie is big.[(((((triple10) -> rule8)) -> rule3) OR ((((triple8 triple7) -> rule4)) -> rule3) OR ((((triple8 ((triple8) -> rule6)) -> rule4)) -> rule3) OR ((((((triple9 triple7) -> rule1) triple7) -> rule4)) -> rule3) OR ((((((triple9 triple7) -> rule1) ((triple8) -> rule6)) -> rule4)) -> rule3))] Erin is red.[(((triple12 ((triple11) -> rule5)) -> rule1))] @3: Erin is cold.[(((((triple12 ((triple11) -> rule5)) -> rule1) ((triple11) -> rule5)) -> rule4))]